Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-afiro.opb
MD5SUM27c455853db0a1f70b6ba60ff91cb013
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4120833
Optimality of the best value was proved NO
Number of terms in the objective function 150
Biggest coefficient in the objective function 134217728000
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 316753837785
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 1304059445248
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 20964809094075
Number of bits of the biggest sum of numbers45
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.14
Number of variables960
Total number of constraints27
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints27
Minimum length of a constraint30
Maximum length of a constraint270

Trace number 5035

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-19 22:03:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=786 boxname=wulflinc1 idbench=786 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  27c455853db0a1f70b6ba60ff91cb013  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-afiro.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-afiro.opb
IDLAUNCH: 786
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        901952 kB
Buffers:         22628 kB
Cached:          80640 kB
SwapCached:       1180 kB
Active:          33696 kB
Inactive:        72104 kB
HighTotal:      131008 kB
HighFree:        47656 kB
LowTotal:       903652 kB
LowFree:        854296 kB
SwapTotal:     2097136 kB
SwapFree:      2095264 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5744 kB
Slab:            21084 kB
Committed_AS:    92628 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 22:23:49 (client local time) WITH STATUS 10 IN 1195.14 SECONDS
stats: 786 0 1195.14 10

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 960 variables and 35 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.23
c After prepocess the problem consists of 589 variables and 35 constraints.
c Initial Lower Bound: -16515027
c Restart #1 #Var: 589 #Dec: 950 LB: -16515027 @ 0.732
c Restart #2 #Var: 589 #Dec: 2498 LB: -16515027 @ 1.772
c Restart #3 #Var: 589 #Dec: 4835 LB: -16515027 @ 3.135
c Restart #4 #Var: 589 #Dec: 7318 LB: -16515027 @ 4.954
c Restart #5 #Var: 589 #Dec: 11001 LB: -16515027 @ 7.412
c Restart #6 #Var: 589 #Dec: 15456 LB: -16515027 @ 9.391
c Restart #7 #Var: 589 #Dec: 21674 LB: -16515027 @ 11.286
c Restart #8 #Var: 589 #Dec: 26494 LB: -16515027 @ 13.018
c Restart #9 #Var: 589 #Dec: 28390 LB: -16515027 @ 14.766
c Restart #10 #Var: 589 #Dec: 30490 LB: -16515027 @ 16.68
c Restart #11 #Var: 589 #Dec: 32727 LB: -16515027 @ 18.547
c Restart #12 #Var: 589 #Dec: 35146 LB: -16515027 @ 20.589
c Restart #13 #Var: 589 #Dec: 38131 LB: -16515027 @ 23.557
c Restart #14 #Var: 589 #Dec: 41030 LB: -16515027 @ 26.515
c Restart #15 #Var: 589 #Dec: 44166 LB: -16515027 @ 29.843
c Restart #16 #Var: 589 #Dec: 47552 LB: -16515027 @ 33.52
c Restart #17 #Var: 589 #Dec: 51260 LB: -16515027 @ 37.313
c Restart #18 #Var: 589 #Dec: 55712 LB: -16515027 @ 41.494
c Restart #19 #Var: 589 #Dec: 60722 LB: -16515027 @ 44.755
c Restart #20 #Var: 589 #Dec: 67288 LB: -16515027 @ 47.083
c Restart #21 #Var: 588 #Dec: 71507 LB: -16515027 @ 49.485
c Restart #22 #Var: 588 #Dec: 75924 LB: -16515027 @ 52.393
c Restart #23 #Var: 588 #Dec: 80542 LB: -16515027 @ 55.046
c Restart #24 #Var: 588 #Dec: 86176 LB: -16515027 @ 59.091
c Restart #25 #Var: 588 #Dec: 91288 LB: -16515027 @ 63.289
c Restart #26 #Var: 588 #Dec: 96499 LB: -16515027 @ 100.27
c Restart #27 #Var: 588 #Dec: 102331 LB: -16515027 @ 105.68
c Restart #28 #Var: 588 #Dec: 108200 LB: -16515027 @ 112.52
c Restart #29 #Var: 588 #Dec: 114742 LB: -16515027 @ 118.34
c Restart #30 #Var: 588 #Dec: 121237 LB: -16515027 @ 125.73
c NEW SOLUTION FOUND: -209949 @ 134.9 @ #Dec. 126240
c NEW SOLUTION FOUND: -210949 @ 135.1 @ #Dec. 126542
c NEW SOLUTION FOUND: -211450 @ 135.51 @ #Dec. 126938
c NEW SOLUTION FOUND: -211465 @ 135.52 @ #Dec. 127000
c NEW SOLUTION FOUND: -211534 @ 135.69 @ #Dec. 127262
c NEW SOLUTION FOUND: -211549 @ 135.7 @ #Dec. 127300
c NEW SOLUTION FOUND: -216177 @ 136.62 @ #Dec. 128155
c NEW SOLUTION FOUND: -216201 @ 137.08 @ #Dec. 128747
c NEW SOLUTION FOUND: -216701 @ 137.11 @ #Dec. 128803
c NEW SOLUTION FOUND: -217632 @ 137.28 @ #Dec. 129086
c NEW SOLUTION FOUND: -217647 @ 137.28 @ #Dec. 129135
c NEW SOLUTION FOUND: -217662 @ 137.29 @ #Dec. 129160
c NEW SOLUTION FOUND: -217677 @ 137.3 @ #Dec. 129190
c NEW SOLUTION FOUND: -217701 @ 137.57 @ #Dec. 129539
c NEW SOLUTION FOUND: -223737 @ 137.72 @ #Dec. 129798
c NEW SOLUTION FOUND: -223836 @ 138 @ #Dec. 130387
c NEW SOLUTION FOUND: -223851 @ 138.01 @ #Dec. 130435
c NEW SOLUTION FOUND: -223866 @ 138.02 @ #Dec. 130472
c NEW SOLUTION FOUND: -223881 @ 138.02 @ #Dec. 130488
c NEW SOLUTION FOUND: -223896 @ 138.03 @ #Dec. 130505
c NEW SOLUTION FOUND: -223911 @ 138.03 @ #Dec. 130516
c NEW SOLUTION FOUND: -223926 @ 138.04 @ #Dec. 130534
c NEW SOLUTION FOUND: -223941 @ 138.04 @ #Dec. 130538
c NEW SOLUTION FOUND: -223986 @ 138.04 @ #Dec. 130568
c NEW SOLUTION FOUND: -224001 @ 138.05 @ #Dec. 130590
c NEW SOLUTION FOUND: -224016 @ 138.05 @ #Dec. 130612
c NEW SOLUTION FOUND: -224031 @ 138.06 @ #Dec. 130633
c NEW SOLUTION FOUND: -224043 @ 138.08 @ #Dec. 130698
c NEW SOLUTION FOUND: -224136 @ 138.19 @ #Dec. 130832
c NEW SOLUTION FOUND: -224151 @ 138.2 @ #Dec. 130865
c NEW SOLUTION FOUND: -224163 @ 138.21 @ #Dec. 130893
c NEW SOLUTION FOUND: -224178 @ 138.71 @ #Dec. 131594
c NEW SOLUTION FOUND: -224190 @ 140.27 @ #Dec. 133154
c Restart #31 #Var: 588 #Dec: 141226 LB: -16515027 @ 148.46
c Restart #32 #Var: 588 #Dec: 148372 LB: -16515027 @ 157.94
c Restart #33 #Var: 588 #Dec: 155614 LB: -16515027 @ 165.28
c NEW SOLUTION FOUND: -3002697 @ 171.44 @ #Dec. 163323
c NEW SOLUTION FOUND: -3002717 @ 171.45 @ #Dec. 163337
c NEW SOLUTION FOUND: -3002727 @ 171.48 @ #Dec. 163400
c NEW SOLUTION FOUND: -3002743 @ 171.48 @ #Dec. 163407
c NEW SOLUTION FOUND: -3002747 @ 171.49 @ #Dec. 163424
c NEW SOLUTION FOUND: -3002763 @ 171.49 @ #Dec. 163430
c NEW SOLUTION FOUND: -3002773 @ 171.49 @ #Dec. 163443
c NEW SOLUTION FOUND: -3002813 @ 171.49 @ #Dec. 163458
c NEW SOLUTION FOUND: -3002877 @ 171.64 @ #Dec. 163496
c NEW SOLUTION FOUND: -3002893 @ 171.64 @ #Dec. 163507
c NEW SOLUTION FOUND: -3002925 @ 171.65 @ #Dec. 163527
c NEW SOLUTION FOUND: -3002957 @ 171.66 @ #Dec. 163535
c NEW SOLUTION FOUND: -3002989 @ 171.66 @ #Dec. 163537
c NEW SOLUTION FOUND: -3003021 @ 171.66 @ #Dec. 163542
c NEW SOLUTION FOUND: -3003053 @ 171.66 @ #Dec. 163542
c NEW SOLUTION FOUND: -3003085 @ 171.67 @ #Dec. 163557
c NEW SOLUTION FOUND: -3003117 @ 171.67 @ #Dec. 163560
c NEW SOLUTION FOUND: -3003133 @ 171.67 @ #Dec. 163578
c NEW SOLUTION FOUND: -3003373 @ 171.68 @ #Dec. 163595
c NEW SOLUTION FOUND: -3003629 @ 171.68 @ #Dec. 163601
c NEW SOLUTION FOUND: -3003661 @ 171.69 @ #Dec. 163610
c NEW SOLUTION FOUND: -3003693 @ 171.69 @ #Dec. 163613
c NEW SOLUTION FOUND: -3003757 @ 171.69 @ #Dec. 163623
c NEW SOLUTION FOUND: -3003773 @ 171.7 @ #Dec. 163642
c NEW SOLUTION FOUND: -3003837 @ 171.71 @ #Dec. 163664
c NEW SOLUTION FOUND: -3003869 @ 171.71 @ #Dec. 163673
c NEW SOLUTION FOUND: -3003901 @ 171.71 @ #Dec. 163676
c NEW SOLUTION FOUND: -3003933 @ 171.71 @ #Dec. 163680
c NEW SOLUTION FOUND: -3003965 @ 171.71 @ #Dec. 163683
c NEW SOLUTION FOUND: -3004061 @ 171.72 @ #Dec. 163699
c NEW SOLUTION FOUND: -3004093 @ 171.72 @ #Dec. 163707
c NEW SOLUTION FOUND: -3004925 @ 171.74 @ #Dec. 163734
c NEW SOLUTION FOUND: -3004957 @ 171.74 @ #Dec. 163737
c NEW SOLUTION FOUND: -3004973 @ 171.74 @ #Dec. 163741
c NEW SOLUTION FOUND: -3005037 @ 171.74 @ #Dec. 163744
c NEW SOLUTION FOUND: -3005213 @ 171.74 @ #Dec. 163750
c NEW SOLUTION FOUND: -3005229 @ 171.75 @ #Dec. 163763
c NEW SOLUTION FOUND: -3005293 @ 171.75 @ #Dec. 163768
c NEW SOLUTION FOUND: -3005313 @ 171.76 @ #Dec. 163777
c NEW SOLUTION FOUND: -3005323 @ 171.76 @ #Dec. 163780
c NEW SOLUTION FOUND: -3006749 @ 171.93 @ #Dec. 163805
c NEW SOLUTION FOUND: -3006829 @ 171.93 @ #Dec. 163813
c NEW SOLUTION FOUND: -3006849 @ 171.93 @ #Dec. 163819
c NEW SOLUTION FOUND: -3006859 @ 171.93 @ #Dec. 163823
c NEW SOLUTION FOUND: -3007389 @ 171.94 @ #Dec. 163833
c NEW SOLUTION FOUND: -3007645 @ 171.94 @ #Dec. 163837
c NEW SOLUTION FOUND: -3007725 @ 171.94 @ #Dec. 163845
c NEW SOLUTION FOUND: -3007741 @ 171.94 @ #Dec. 163850
c NEW SOLUTION FOUND: -3007853 @ 171.94 @ #Dec. 163856
c NEW SOLUTION FOUND: -3007873 @ 171.95 @ #Dec. 163863
c NEW SOLUTION FOUND: -3007883 @ 171.95 @ #Dec. 163866
c NEW SOLUTION FOUND: -3007915 @ 171.96 @ #Dec. 163873
c NEW SOLUTION FOUND: -3007923 @ 172.07 @ #Dec. 163894
c NEW SOLUTION FOUND: -3008131 @ 173.34 @ #Dec. 164562
c NEW SOLUTION FOUND: -3008451 @ 173.36 @ #Dec. 164598
c NEW SOLUTION FOUND: -3008771 @ 173.37 @ #Dec. 164614
c NEW SOLUTION FOUND: -3008911 @ 173.37 @ #Dec. 164622
c NEW SOLUTION FOUND: -3009411 @ 173.38 @ #Dec. 164629
c NEW SOLUTION FOUND: -3009621 @ 173.39 @ #Dec. 164653
c NEW SOLUTION FOUND: -3011267 @ 173.4 @ #Dec. 164682
c NEW SOLUTION FOUND: -3011605 @ 173.41 @ #Dec. 164689
c NEW SOLUTION FOUND: -3011855 @ 173.53 @ #Dec. 164800
c NEW SOLUTION FOUND: -3079901 @ 173.92 @ #Dec. 165122
c NEW SOLUTION FOUND: -3079917 @ 173.92 @ #Dec. 165127
c NEW SOLUTION FOUND: -3080157 @ 173.93 @ #Dec. 165137
c NEW SOLUTION FOUND: -3080165 @ 173.93 @ #Dec. 165139
c NEW SOLUTION FOUND: -3080193 @ 173.94 @ #Dec. 165145
c NEW SOLUTION FOUND: -3080203 @ 173.94 @ #Dec. 165146
c NEW SOLUTION FOUND: -3080211 @ 173.94 @ #Dec. 165150
c NEW SOLUTION FOUND: -3082557 @ 174.5 @ #Dec. 165650
c NEW SOLUTION FOUND: -3082567 @ 174.51 @ #Dec. 165655
c NEW SOLUTION FOUND: -3083933 @ 174.57 @ #Dec. 165731
c NEW SOLUTION FOUND: -3084143 @ 174.57 @ #Dec. 165738
c NEW SOLUTION FOUND: -3186893 @ 175.56 @ #Dec. 166532
c NEW SOLUTION FOUND: -3186947 @ 175.56 @ #Dec. 166537
c NEW SOLUTION FOUND: -3188029 @ 175.64 @ #Dec. 166641
c NEW SOLUTION FOUND: -3188329 @ 175.64 @ #Dec. 166651
c NEW SOLUTION FOUND: -3188339 @ 175.64 @ #Dec. 166660
c NEW SOLUTION FOUND: -3188497 @ 175.67 @ #Dec. 166718
c NEW SOLUTION FOUND: -3188515 @ 175.67 @ #Dec. 166724
c NEW SOLUTION FOUND: -3190863 @ 175.78 @ #Dec. 166852
c NEW SOLUTION FOUND: -3190871 @ 175.87 @ #Dec. 166922
c NEW SOLUTION FOUND: -3192053 @ 175.93 @ #Dec. 167000
c NEW SOLUTION FOUND: -3192375 @ 175.94 @ #Dec. 167013
c NEW SOLUTION FOUND: -3193405 @ 176.06 @ #Dec. 167147
c NEW SOLUTION FOUND: -3193865 @ 176.07 @ #Dec. 167159
c NEW SOLUTION FOUND: -3193875 @ 176.07 @ #Dec. 167168
c NEW SOLUTION FOUND: -3194685 @ 176.13 @ #Dec. 167304
c NEW SOLUTION FOUND: -3194865 @ 176.13 @ #Dec. 167313
c NEW SOLUTION FOUND: -3194875 @ 176.13 @ #Dec. 167319
c NEW SOLUTION FOUND: -3199805 @ 176.71 @ #Dec. 167959
c NEW SOLUTION FOUND: -3200445 @ 176.72 @ #Dec. 167974
c NEW SOLUTION FOUND: -3203645 @ 176.76 @ #Dec. 168027
c NEW SOLUTION FOUND: -3203875 @ 176.76 @ #Dec. 168038
c NEW SOLUTION FOUND: -3204875 @ 176.84 @ #Dec. 168113
c NEW SOLUTION FOUND: -3205375 @ 176.92 @ #Dec. 168194
c NEW SOLUTION FOUND: -3205889 @ 177.11 @ #Dec. 168363
c NEW SOLUTION FOUND: -3205899 @ 177.11 @ #Dec. 168370
c NEW SOLUTION FOUND: -3206339 @ 177.13 @ #Dec. 168407
c NEW SOLUTION FOUND: -3206399 @ 177.38 @ #Dec. 168602
c NEW SOLUTION FOUND: -3206839 @ 177.44 @ #Dec. 168658
c NEW SOLUTION FOUND: -3627709 @ 178.19 @ #Dec. 168853
c NEW SOLUTION FOUND: -3628989 @ 178.32 @ #Dec. 168941
c NEW SOLUTION FOUND: -3629633 @ 178.41 @ #Dec. 168978
c NEW SOLUTION FOUND: -3629643 @ 178.42 @ #Dec. 169000
c NEW SOLUTION FOUND: -3630013 @ 178.71 @ #Dec. 169277
c NEW SOLUTION FOUND: -3630269 @ 178.92 @ #Dec. 169346
c NEW SOLUTION FOUND: -3631293 @ 178.92 @ #Dec. 169359
c NEW SOLUTION FOUND: -3692855 @ 179.31 @ #Dec. 169465
c NEW SOLUTION FOUND: -3693879 @ 179.31 @ #Dec. 169472
c NEW SOLUTION FOUND: -3709239 @ 179.31 @ #Dec. 169489
c NEW SOLUTION FOUND: -3710263 @ 179.32 @ #Dec. 169496
c NEW SOLUTION FOUND: -3710653 @ 179.55 @ #Dec. 169635
c NEW SOLUTION FOUND: -3711533 @ 179.83 @ #Dec. 169722
c NEW SOLUTION FOUND: -3711563 @ 179.84 @ #Dec. 169733
c NEW SOLUTION FOUND: -3713093 @ 180.03 @ #Dec. 169821
c NEW SOLUTION FOUND: -3713193 @ 180.3 @ #Dec. 169940
c NEW SOLUTION FOUND: -3713203 @ 180.33 @ #Dec. 169959
c NEW SOLUTION FOUND: -3713313 @ 180.89 @ #Dec. 170298
c NEW SOLUTION FOUND: -3713373 @ 180.99 @ #Dec. 170364
c NEW SOLUTION FOUND: -3713533 @ 181.01 @ #Dec. 170394
c NEW SOLUTION FOUND: -3713613 @ 181.06 @ #Dec. 170437
c NEW SOLUTION FOUND: -3713633 @ 181.07 @ #Dec. 170453
c NEW SOLUTION FOUND: -3713693 @ 181.13 @ #Dec. 170500
c NEW SOLUTION FOUND: -3713743 @ 181.13 @ #Dec. 170516
c NEW SOLUTION FOUND: -3714653 @ 181.6 @ #Dec. 170778
c NEW SOLUTION FOUND: -3714973 @ 181.6 @ #Dec. 170795
c NEW SOLUTION FOUND: -3715293 @ 181.61 @ #Dec. 170812
c NEW SOLUTION FOUND: -3715523 @ 181.61 @ #Dec. 170828
c NEW SOLUTION FOUND: -3715583 @ 181.84 @ #Dec. 170983
c NEW SOLUTION FOUND: -3715613 @ 181.85 @ #Dec. 171001
c NEW SOLUTION FOUND: -3715773 @ 181.86 @ #Dec. 171017
c NEW SOLUTION FOUND: -3715933 @ 181.87 @ #Dec. 171038
c NEW SOLUTION FOUND: -3716253 @ 181.87 @ #Dec. 171055
c NEW SOLUTION FOUND: -3716413 @ 181.88 @ #Dec. 171072
c NEW SOLUTION FOUND: -3716573 @ 181.89 @ #Dec. 171092
c NEW SOLUTION FOUND: -3716863 @ 181.89 @ #Dec. 171106
c NEW SOLUTION FOUND: -3716973 @ 181.9 @ #Dec. 171127
c NEW SOLUTION FOUND: -3717053 @ 181.91 @ #Dec. 171145
c NEW SOLUTION FOUND: -3717293 @ 181.99 @ #Dec. 171192
c NEW SOLUTION FOUND: -3717373 @ 181.99 @ #Dec. 171207
c NEW SOLUTION FOUND: -3717593 @ 182 @ #Dec. 171226
c NEW SOLUTION FOUND: -3717653 @ 182.15 @ #Dec. 171304
c NEW SOLUTION FOUND: -3717693 @ 182.16 @ #Dec. 171321
c NEW SOLUTION FOUND: -3717813 @ 182.19 @ #Dec. 171353
c NEW SOLUTION FOUND: -3717923 @ 182.22 @ #Dec. 171387
c NEW SOLUTION FOUND: -3718033 @ 182.42 @ #Dec. 171513
c NEW SOLUTION FOUND: -3718143 @ 182.47 @ #Dec. 171549
c NEW SOLUTION FOUND: -3718363 @ 182.51 @ #Dec. 171579
c NEW SOLUTION FOUND: -3718473 @ 182.58 @ #Dec. 171645
c NEW SOLUTION FOUND: -3718583 @ 182.62 @ #Dec. 171683
c NEW SOLUTION FOUND: -3718623 @ 182.68 @ #Dec. 171732
c NEW SOLUTION FOUND: -3718653 @ 182.68 @ #Dec. 171746
c NEW SOLUTION FOUND: -3718683 @ 182.71 @ #Dec. 171784
c NEW SOLUTION FOUND: -3718903 @ 182.78 @ #Dec. 171825
c NEW SOLUTION FOUND: -3718943 @ 182.87 @ #Dec. 171911
c NEW SOLUTION FOUND: -3718973 @ 182.87 @ #Dec. 171926
c NEW SOLUTION FOUND: -3719013 @ 182.94 @ #Dec. 171995
c NEW SOLUTION FOUND: -3719053 @ 182.94 @ #Dec. 172009
c NEW SOLUTION FOUND: -3719103 @ 182.94 @ #Dec. 172023
c NEW SOLUTION FOUND: -3719123 @ 182.95 @ #Dec. 172035
c NEW SOLUTION FOUND: -3719213 @ 182.98 @ #Dec. 172068
c NEW SOLUTION FOUND: -3719233 @ 182.99 @ #Dec. 172082
c NEW SOLUTION FOUND: -3719473 @ 183.17 @ #Dec. 172172
c NEW SOLUTION FOUND: -3719493 @ 183.17 @ #Dec. 172184
c NEW SOLUTION FOUND: -3719533 @ 183.18 @ #Dec. 172197
c NEW SOLUTION FOUND: -3719563 @ 183.25 @ #Dec. 172240
c NEW SOLUTION FOUND: -3719673 @ 183.68 @ #Dec. 172331
c NEW SOLUTION FOUND: -3719933 @ 183.81 @ #Dec. 172437
c NEW SOLUTION FOUND: -3720013 @ 183.81 @ #Dec. 172453
c NEW SOLUTION FOUND: -3720043 @ 183.82 @ #Dec. 172465
c NEW SOLUTION FOUND: -3720173 @ 183.83 @ #Dec. 172484
c NEW SOLUTION FOUND: -3720253 @ 183.84 @ #Dec. 172500
c NEW SOLUTION FOUND: -3720433 @ 183.87 @ #Dec. 172539
c NEW SOLUTION FOUND: -3720573 @ 183.88 @ #Dec. 172561
c NEW SOLUTION FOUND: -3720653 @ 183.89 @ #Dec. 172579
c NEW SOLUTION FOUND: -3720973 @ 183.94 @ #Dec. 172614
c NEW SOLUTION FOUND: -3721213 @ 184.04 @ #Dec. 172676
c NEW SOLUTION FOUND: -3721413 @ 184.05 @ #Dec. 172691
c NEW SOLUTION FOUND: -3721533 @ 184.2 @ #Dec. 172768
c NEW SOLUTION FOUND: -3721563 @ 184.21 @ #Dec. 172784
c NEW SOLUTION FOUND: -3722063 @ 184.23 @ #Dec. 172798
c NEW SOLUTION FOUND: -3722493 @ 184.4 @ #Dec. 172865
c NEW SOLUTION FOUND: -3722613 @ 184.41 @ #Dec. 172880
c NEW SOLUTION FOUND: -3722753 @ 184.47 @ #Dec. 172911
c NEW SOLUTION FOUND: -3722763 @ 184.47 @ #Dec. 172922
c NEW SOLUTION FOUND: -3722813 @ 184.5 @ #Dec. 172944
c NEW SOLUTION FOUND: -3722893 @ 184.51 @ #Dec. 172965
c NEW SOLUTION FOUND: -3722973 @ 184.51 @ #Dec. 172980
c NEW SOLUTION FOUND: -3723133 @ 184.51 @ #Dec. 172995
c NEW SOLUTION FOUND: -3723313 @ 184.52 @ #Dec. 173011
c NEW SOLUTION FOUND: -3723373 @ 184.54 @ #Dec. 173029
c NEW SOLUTION FOUND: -3723453 @ 184.54 @ #Dec. 173043
c NEW SOLUTION FOUND: -3723613 @ 184.58 @ #Dec. 173066
c NEW SOLUTION FOUND: -3723693 @ 184.59 @ #Dec. 173081
c NEW SOLUTION FOUND: -3723773 @ 184.59 @ #Dec. 173095
c NEW SOLUTION FOUND: -3723813 @ 184.59 @ #Dec. 173113
c NEW SOLUTION FOUND: -3723933 @ 184.65 @ #Dec. 173143
c NEW SOLUTION FOUND: -3724093 @ 184.66 @ #Dec. 173158
c NEW SOLUTION FOUND: -3724243 @ 184.7 @ #Dec. 173185
c NEW SOLUTION FOUND: -3730717 @ 185.13 @ #Dec. 173330
c NEW SOLUTION FOUND: -3734813 @ 185.13 @ #Dec. 173339
c NEW SOLUTION FOUND: -3735837 @ 185.14 @ #Dec. 173346
c NEW SOLUTION FOUND: -3736317 @ 185.14 @ #Dec. 173351
c NEW SOLUTION FOUND: -3736337 @ 185.14 @ #Dec. 173363
c NEW SOLUTION FOUND: -3736593 @ 185.15 @ #Dec. 173368
c NEW SOLUTION FOUND: -3736817 @ 185.15 @ #Dec. 173372
c NEW SOLUTION FOUND: -3736847 @ 185.23 @ #Dec. 173473
c NEW SOLUTION FOUND: -3736903 @ 185.23 @ #Dec. 173475
c NEW SOLUTION FOUND: -3737347 @ 185.24 @ #Dec. 173490
c NEW SOLUTION FOUND: -3737403 @ 185.24 @ #Dec. 173492
c NEW SOLUTION FOUND: -3737605 @ 185.25 @ #Dec. 173515
c NEW SOLUTION FOUND: -3737907 @ 185.31 @ #Dec. 173572
c NEW SOLUTION FOUND: -3738183 @ 185.34 @ #Dec. 173601
c NEW SOLUTION FOUND: -3738201 @ 185.35 @ #Dec. 173618
c NEW SOLUTION FOUND: -3738289 @ 185.4 @ #Dec. 173690
c NEW SOLUTION FOUND: -3738353 @ 185.4 @ #Dec. 173693
c NEW SOLUTION FOUND: -3738433 @ 185.4 @ #Dec. 173699
c NEW SOLUTION FOUND: -3738451 @ 185.41 @ #Dec. 173722
c NEW SOLUTION FOUND: -3744459 @ 185.56 @ #Dec. 173848
c NEW SOLUTION FOUND: -3744523 @ 185.56 @ #Dec. 173851
c NEW SOLUTION FOUND: -3744539 @ 185.56 @ #Dec. 173854
c NEW SOLUTION FOUND: -3744549 @ 185.57 @ #Dec. 173857
c NEW SOLUTION FOUND: -3744557 @ 185.57 @ #Dec. 173857
c NEW SOLUTION FOUND: -3745039 @ 185.58 @ #Dec. 173872
c NEW SOLUTION FOUND: -3745057 @ 185.59 @ #Dec. 173879
c NEW SOLUTION FOUND: -3745289 @ 185.63 @ #Dec. 173914
c NEW SOLUTION FOUND: -3745299 @ 185.63 @ #Dec. 173921
c NEW SOLUTION FOUND: -3745307 @ 185.63 @ #Dec. 173921
c NEW SOLUTION FOUND: -3750387 @ 185.92 @ #Dec. 174016
c NEW SOLUTION FOUND: -3750887 @ 185.92 @ #Dec. 174027
c NEW SOLUTION FOUND: -3751137 @ 185.98 @ #Dec. 174060
c NEW SOLUTION FOUND: -3751229 @ 186.02 @ #Dec. 174084
c NEW SOLUTION FOUND: -3751467 @ 186.07 @ #Dec. 174122
c NEW SOLUTION FOUND: -3753039 @ 188.89 @ #Dec. 174630
c NEW SOLUTION FOUND: -3753539 @ 188.96 @ #Dec. 174695
c NEW SOLUTION FOUND: -3753729 @ 189.09 @ #Dec. 174820
c NEW SOLUTION FOUND: -3753789 @ 189.22 @ #Dec. 174950
c NEW SOLUTION FOUND: -3756945 @ 189.36 @ #Dec. 175111
c NEW SOLUTION FOUND: -3756965 @ 189.36 @ #Dec. 175119
c NEW SOLUTION FOUND: -3757445 @ 189.36 @ #Dec. 175127
c NEW SOLUTION FOUND: -3757465 @ 189.36 @ #Dec. 175134
c NEW SOLUTION FOUND: -3758143 @ 189.38 @ #Dec. 175153
c NEW SOLUTION FOUND: -3758893 @ 189.39 @ #Dec. 175165
c NEW SOLUTION FOUND: -3758975 @ 189.4 @ #Dec. 175185
c NEW SOLUTION FOUND: -3759003 @ 189.4 @ #Dec. 175187
c NEW SOLUTION FOUND: -3759027 @ 189.49 @ #Dec. 175229
c NEW SOLUTION FOUND: -3759277 @ 189.5 @ #Dec. 175244
c NEW SOLUTION FOUND: -3759699 @ 190.97 @ #Dec. 175390
c NEW SOLUTION FOUND: -3759701 @ 207.35 @ #Dec. 176966
c NEW SOLUTION FOUND: -3759834 @ 210.66 @ #Dec. 177197
c NEW SOLUTION FOUND: -3759849 @ 210.66 @ #Dec. 177197
c NEW SOLUTION FOUND: -3759864 @ 210.66 @ #Dec. 177198
c NEW SOLUTION FOUND: -3759879 @ 210.67 @ #Dec. 177198
c NEW SOLUTION FOUND: -3759909 @ 210.67 @ #Dec. 177200
c NEW SOLUTION FOUND: -3759939 @ 210.67 @ #Dec. 177201
c NEW SOLUTION FOUND: -3760084 @ 214.16 @ #Dec. 177655
c NEW SOLUTION FOUND: -3760099 @ 214.16 @ #Dec. 177657
c NEW SOLUTION FOUND: -3760114 @ 214.16 @ #Dec. 177661
c NEW SOLUTION FOUND: -3760129 @ 214.16 @ #Dec. 177664
c NEW SOLUTION FOUND: -3760130 @ 214.23 @ #Dec. 177679
c NEW SOLUTION FOUND: -3760145 @ 214.24 @ #Dec. 177688
c NEW SOLUTION FOUND: -3760257 @ 214.31 @ #Dec. 177700
c NEW SOLUTION FOUND: -3760679 @ 214.64 @ #Dec. 177716
c NEW SOLUTION FOUND: -3760917 @ 215.86 @ #Dec. 177843
c NEW SOLUTION FOUND: -3761155 @ 217.48 @ #Dec. 177963
c NEW SOLUTION FOUND: -3761209 @ 219.23 @ #Dec. 178148
c NEW SOLUTION FOUND: -3761391 @ 219.9 @ #Dec. 178177
c NEW SOLUTION FOUND: -3761526 @ 220.22 @ #Dec. 178201
c NEW SOLUTION FOUND: -3761541 @ 220.22 @ #Dec. 178201
c NEW SOLUTION FOUND: -3761556 @ 220.22 @ #Dec. 178202
c NEW SOLUTION FOUND: -3761571 @ 220.22 @ #Dec. 178202
c NEW SOLUTION FOUND: -3761586 @ 220.23 @ #Dec. 178204
c NEW SOLUTION FOUND: -3761601 @ 220.23 @ #Dec. 178204
c NEW SOLUTION FOUND: -3761631 @ 220.23 @ #Dec. 178205
c NEW SOLUTION FOUND: -3761764 @ 223.57 @ #Dec. 178463
c NEW SOLUTION FOUND: -3761779 @ 223.57 @ #Dec. 178463
c NEW SOLUTION FOUND: -3761794 @ 223.57 @ #Dec. 178464
c NEW SOLUTION FOUND: -3761809 @ 223.57 @ #Dec. 178464
c NEW SOLUTION FOUND: -3761824 @ 223.57 @ #Dec. 178466
c NEW SOLUTION FOUND: -3761839 @ 223.58 @ #Dec. 178466
c NEW SOLUTION FOUND: -3761869 @ 223.58 @ #Dec. 178467
c NEW SOLUTION FOUND: -3762047 @ 225.9 @ #Dec. 178603
c NEW SOLUTION FOUND: -3762107 @ 225.9 @ #Dec. 178605
c NEW SOLUTION FOUND: -3762161 @ 228.95 @ #Dec. 178781
c NEW SOLUTION FOUND: -3762283 @ 229.01 @ #Dec. 178799
c NEW SOLUTION FOUND: -3762313 @ 229.02 @ #Dec. 178801
c NEW SOLUTION FOUND: -3762343 @ 229.02 @ #Dec. 178802
c NEW SOLUTION FOUND: -3762493 @ 229.07 @ #Dec. 178820
c NEW SOLUTION FOUND: -3762523 @ 229.07 @ #Dec. 178821
c NEW SOLUTION FOUND: -3762553 @ 229.07 @ #Dec. 178823
c NEW SOLUTION FOUND: -3762583 @ 229.07 @ #Dec. 178824
c NEW SOLUTION FOUND: -3762607 @ 230.21 @ #Dec. 178943
c NEW SOLUTION FOUND: -3762637 @ 230.22 @ #Dec. 178947
c NEW SOLUTION FOUND: -3763059 @ 230.34 @ #Dec. 178961
c NEW SOLUTION FOUND: -3764741 @ 240.39 @ #Dec. 179905
c NEW SOLUTION FOUND: -3764961 @ 240.68 @ #Dec. 179970
c NEW SOLUTION FOUND: -3765035 @ 240.81 @ #Dec. 180002
c NEW SOLUTION FOUND: -3765111 @ 240.97 @ #Dec. 180091
c NEW SOLUTION FOUND: -3765121 @ 240.97 @ #Dec. 180099
c NEW SOLUTION FOUND: -3765401 @ 241.11 @ #Dec. 180145
c NEW SOLUTION FOUND: -3765467 @ 241.12 @ #Dec. 180165
c NEW SOLUTION FOUND: -3765539 @ 241.18 @ #Dec. 180182
c NEW SOLUTION FOUND: -3766043 @ 241.34 @ #Dec. 180228
c NEW SOLUTION FOUND: -3767261 @ 241.49 @ #Dec. 180263
c NEW SOLUTION FOUND: -3767401 @ 241.54 @ #Dec. 180296
c NEW SOLUTION FOUND: -3767451 @ 241.61 @ #Dec. 180335
c NEW SOLUTION FOUND: -3768075 @ 241.7 @ #Dec. 180371
c NEW SOLUTION FOUND: -3768155 @ 241.72 @ #Dec. 180388
c NEW SOLUTION FOUND: -3768555 @ 241.76 @ #Dec. 180405
c NEW SOLUTION FOUND: -3768931 @ 241.85 @ #Dec. 180436
c NEW SOLUTION FOUND: -3768967 @ 241.86 @ #Dec. 180445
c NEW SOLUTION FOUND: -3768977 @ 241.86 @ #Dec. 180446
c NEW SOLUTION FOUND: -3769059 @ 241.88 @ #Dec. 180459
c NEW SOLUTION FOUND: -3770779 @ 241.97 @ #Dec. 180505
c NEW SOLUTION FOUND: -3771035 @ 242.01 @ #Dec. 180529
c NEW SOLUTION FOUND: -3771067 @ 242.06 @ #Dec. 180547
c NEW SOLUTION FOUND: -3772939 @ 242.27 @ #Dec. 180600
c NEW SOLUTION FOUND: -3772959 @ 242.29 @ #Dec. 180612
c NEW SOLUTION FOUND: -3772969 @ 242.29 @ #Dec. 180619
c NEW SOLUTION FOUND: -3773963 @ 242.32 @ #Dec. 180635
c NEW SOLUTION FOUND: -3773993 @ 242.32 @ #Dec. 180641
c NEW SOLUTION FOUND: -3774513 @ 242.33 @ #Dec. 180641
c NEW SOLUTION FOUND: -3774591 @ 242.95 @ #Dec. 180782
c NEW SOLUTION FOUND: -3774607 @ 243.05 @ #Dec. 180829
c NEW SOLUTION FOUND: -3774622 @ 243.07 @ #Dec. 180855
c NEW SOLUTION FOUND: -3774637 @ 243.13 @ #Dec. 180869
c NEW SOLUTION FOUND: -3774687 @ 243.17 @ #Dec. 180892
c NEW SOLUTION FOUND: -3774702 @ 243.2 @ #Dec. 180904
c NEW SOLUTION FOUND: -3774717 @ 243.22 @ #Dec. 180912
c NEW SOLUTION FOUND: -3774799 @ 243.24 @ #Dec. 180922
c NEW SOLUTION FOUND: -3774814 @ 243.26 @ #Dec. 180933
c NEW SOLUTION FOUND: -3774829 @ 243.27 @ #Dec. 180943
c NEW SOLUTION FOUND: -3775013 @ 243.48 @ #Dec. 181008
c NEW SOLUTION FOUND: -3775221 @ 243.56 @ #Dec. 181027
c NEW SOLUTION FOUND: -3775236 @ 243.56 @ #Dec. 181028
c NEW SOLUTION FOUND: -3775251 @ 243.56 @ #Dec. 181028
c NEW SOLUTION FOUND: -3775652 @ 244.68 @ #Dec. 181196
c NEW SOLUTION FOUND: -3775667 @ 244.68 @ #Dec. 181196
c NEW SOLUTION FOUND: -3775682 @ 244.7 @ #Dec. 181200
c NEW SOLUTION FOUND: -3775697 @ 244.7 @ #Dec. 181200
c NEW SOLUTION FOUND: -3775712 @ 244.7 @ #Dec. 181201
c NEW SOLUTION FOUND: -3775727 @ 244.7 @ #Dec. 181201
c NEW SOLUTION FOUND: -3775875 @ 246.59 @ #Dec. 181580
c NEW SOLUTION FOUND: -3775890 @ 246.59 @ #Dec. 181581
c NEW SOLUTION FOUND: -3775905 @ 246.59 @ #Dec. 181581
c NEW SOLUTION FOUND: -3775920 @ 246.61 @ #Dec. 181587
c NEW SOLUTION FOUND: -3775935 @ 246.61 @ #Dec. 181587
c NEW SOLUTION FOUND: -3775965 @ 246.61 @ #Dec. 181588
c NEW SOLUTION FOUND: -3776113 @ 246.83 @ #Dec. 181643
c NEW SOLUTION FOUND: -3776143 @ 246.83 @ #Dec. 181644
c NEW SOLUTION FOUND: -3776173 @ 246.85 @ #Dec. 181649
c NEW SOLUTION FOUND: -3776203 @ 246.85 @ #Dec. 181650
c NEW SOLUTION FOUND: -3776209 @ 247.91 @ #Dec. 181864
c NEW SOLUTION FOUND: -3776257 @ 247.93 @ #Dec. 181871
c NEW SOLUTION FOUND: -3776559 @ 248.02 @ #Dec. 181882
c NEW SOLUTION FOUND: -3776619 @ 248.05 @ #Dec. 181898
c NEW SOLUTION FOUND: -3776679 @ 248.07 @ #Dec. 181903
c NEW SOLUTION FOUND: -3776857 @ 248.76 @ #Dec. 182063
c NEW SOLUTION FOUND: -3776917 @ 248.77 @ #Dec. 182066
c NEW SOLUTION FOUND: -3777155 @ 249.4 @ #Dec. 182181
c NEW SOLUTION FOUND: -3777163 @ 251.59 @ #Dec. 182572
c NEW SOLUTION FOUND: -3777164 @ 251.59 @ #Dec. 182575
c NEW SOLUTION FOUND: -3777179 @ 251.59 @ #Dec. 182577
c NEW SOLUTION FOUND: -3777209 @ 251.63 @ #Dec. 182591
c NEW SOLUTION FOUND: -3777391 @ 251.73 @ #Dec. 182600
c NEW SOLUTION FOUND: -3777556 @ 251.77 @ #Dec. 182619
c NEW SOLUTION FOUND: -3777571 @ 251.77 @ #Dec. 182620
c NEW SOLUTION FOUND: -3777631 @ 251.77 @ #Dec. 182623
c NEW SOLUTION FOUND: -3777867 @ 252.51 @ #Dec. 182754
c NEW SOLUTION FOUND: -3778107 @ 252.55 @ #Dec. 182774
c NEW SOLUTION FOUND: -3778141 @ 255.31 @ #Dec. 183152
c NEW SOLUTION FOUND: -3778173 @ 255.32 @ #Dec. 183158
c NEW SOLUTION FOUND: -3778189 @ 255.33 @ #Dec. 183162
c NEW SOLUTION FOUND: -3778219 @ 255.34 @ #Dec. 183172
c NEW SOLUTION FOUND: -3778263 @ 255.37 @ #Dec. 183190
c NEW SOLUTION FOUND: -3778279 @ 255.38 @ #Dec. 183200
c NEW SOLUTION FOUND: -3778287 @ 255.43 @ #Dec. 183217
c NEW SOLUTION FOUND: -3778351 @ 255.48 @ #Dec. 183232
c NEW SOLUTION FOUND: -3778383 @ 255.52 @ #Dec. 183245
c NEW SOLUTION FOUND: -3778399 @ 255.53 @ #Dec. 183253
c NEW SOLUTION FOUND: -3778821 @ 255.6 @ #Dec. 183269
c NEW SOLUTION FOUND: -3779059 @ 256.18 @ #Dec. 183402
c NEW SOLUTION FOUND: -3779221 @ 258.81 @ #Dec. 183879
c NEW SOLUTION FOUND: -3779236 @ 258.81 @ #Dec. 183880
c NEW SOLUTION FOUND: -3779251 @ 258.81 @ #Dec. 183880
c NEW SOLUTION FOUND: -3779979 @ 260.12 @ #Dec. 184156
c NEW SOLUTION FOUND: -3779999 @ 260.12 @ #Dec. 184162
c NEW SOLUTION FOUND: -3780009 @ 260.12 @ #Dec. 184167
c NEW SOLUTION FOUND: -3780024 @ 260.13 @ #Dec. 184177
c NEW SOLUTION FOUND: -3780029 @ 260.14 @ #Dec. 184184
c NEW SOLUTION FOUND: -3780039 @ 260.14 @ #Dec. 184190
c NEW SOLUTION FOUND: -3780529 @ 260.15 @ #Dec. 184192
c NEW SOLUTION FOUND: -3780544 @ 260.15 @ #Dec. 184193
c NEW SOLUTION FOUND: -3780559 @ 260.15 @ #Dec. 184193
c NEW SOLUTION FOUND: -3780574 @ 260.17 @ #Dec. 184210
c NEW SOLUTION FOUND: -3780589 @ 260.17 @ #Dec. 184210
c NEW SOLUTION FOUND: -3780604 @ 260.17 @ #Dec. 184211
c NEW SOLUTION FOUND: -3780619 @ 260.17 @ #Dec. 184211
c NEW SOLUTION FOUND: -3780679 @ 260.19 @ #Dec. 184230
c NEW SOLUTION FOUND: -3780857 @ 260.81 @ #Dec. 184371
c NEW SOLUTION FOUND: -3780917 @ 260.82 @ #Dec. 184375
c NEW SOLUTION FOUND: -3781095 @ 261.34 @ #Dec. 184485
c NEW SOLUTION FOUND: -3781155 @ 261.35 @ #Dec. 184489
c NEW SOLUTION FOUND: -3781193 @ 262.04 @ #Dec. 184676
c NEW SOLUTION FOUND: -3781209 @ 262.06 @ #Dec. 184686
c NEW SOLUTION FOUND: -3781391 @ 262.22 @ #Dec. 184697
c NEW SOLUTION FOUND: -3781631 @ 262.24 @ #Dec. 184712
c NEW SOLUTION FOUND: -3781869 @ 262.76 @ #Dec. 184822
c NEW SOLUTION FOUND: -3782107 @ 263.28 @ #Dec. 184923
c NEW SOLUTION FOUND: -3782129 @ 264.49 @ #Dec. 185148
c NEW SOLUTION FOUND: -3782143 @ 264.5 @ #Dec. 185160
c NEW SOLUTION FOUND: -3782159 @ 264.52 @ #Dec. 185169
c NEW SOLUTION FOUND: -3782167 @ 264.55 @ #Dec. 185188
c NEW SOLUTION FOUND: -3782231 @ 264.56 @ #Dec. 185198
c NEW SOLUTION FOUND: -3782263 @ 264.57 @ #Dec. 185207
c NEW SOLUTION FOUND: -3782279 @ 264.57 @ #Dec. 185213
c NEW SOLUTION FOUND: -3782287 @ 264.6 @ #Dec. 185228
c NEW SOLUTION FOUND: -3782399 @ 264.62 @ #Dec. 185240
c NEW SOLUTION FOUND: -3782821 @ 264.7 @ #Dec. 185262
c NEW SOLUTION FOUND: -3783059 @ 265.26 @ #Dec. 185368
c NEW SOLUTION FOUND: -3783145 @ 267.36 @ #Dec. 185752
c NEW SOLUTION FOUND: -3783175 @ 267.42 @ #Dec. 185776
c NEW SOLUTION FOUND: -3783265 @ 267.43 @ #Dec. 185793
c NEW SOLUTION FOUND: -3783285 @ 267.43 @ #Dec. 185803
c NEW SOLUTION FOUND: -3783295 @ 267.44 @ #Dec. 185812
c NEW SOLUTION FOUND: -3783385 @ 267.45 @ #Dec. 185828
c NEW SOLUTION FOUND: -3783415 @ 267.47 @ #Dec. 185848
c NEW SOLUTION FOUND: -3783623 @ 267.62 @ #Dec. 185903
c NEW SOLUTION FOUND: -3783653 @ 267.64 @ #Dec. 185924
c NEW SOLUTION FOUND: -3783671 @ 267.76 @ #Dec. 185963
c NEW SOLUTION FOUND: -3783751 @ 267.8 @ #Dec. 185982
c NEW SOLUTION FOUND: -3783781 @ 267.84 @ #Dec. 186008
c NEW SOLUTION FOUND: -3783861 @ 267.87 @ #Dec. 186034
c NEW SOLUTION FOUND: -3783881 @ 267.87 @ #Dec. 186050
c NEW SOLUTION FOUND: -3783891 @ 267.88 @ #Dec. 186065
c NEW SOLUTION FOUND: -3783907 @ 268.02 @ #Dec. 186110
c NEW SOLUTION FOUND: -3784097 @ 268.06 @ #Dec. 186136
c NEW SOLUTION FOUND: -3784337 @ 268.12 @ #Dec. 186158
c NEW SOLUTION FOUND: -3784367 @ 268.14 @ #Dec. 186177
c NEW SOLUTION FOUND: -3784575 @ 268.28 @ #Dec. 186215
c NEW SOLUTION FOUND: -3784595 @ 268.3 @ #Dec. 186235
c NEW SOLUTION FOUND: -3784605 @ 268.31 @ #Dec. 186248
c NEW SOLUTION FOUND: -3784813 @ 268.44 @ #Dec. 186281
c NEW SOLUTION FOUND: -3784843 @ 268.46 @ #Dec. 186300
c NEW SOLUTION FOUND: -3784859 @ 283.56 @ #Dec. 187681
c NEW SOLUTION FOUND: -3784923 @ 283.61 @ #Dec. 187716
c NEW SOLUTION FOUND: -3784951 @ 283.62 @ #Dec. 187731
c NEW SOLUTION FOUND: -3784969 @ 283.63 @ #Dec. 187734
c NEW SOLUTION FOUND: -3785003 @ 283.87 @ #Dec. 187822
c NEW SOLUTION FOUND: -3785051 @ 283.94 @ #Dec. 187852
c NEW SOLUTION FOUND: -3788891 @ 284.1 @ #Dec. 187984
c NEW SOLUTION FOUND: -3788947 @ 284.1 @ #Dec. 187990
c NEW SOLUTION FOUND: -3788985 @ 284.19 @ #Dec. 188050
c NEW SOLUTION FOUND: -3788993 @ 284.19 @ #Dec. 188050
c NEW SOLUTION FOUND: -3789067 @ 284.2 @ #Dec. 188058
c NEW SOLUTION FOUND: -3789979 @ 284.42 @ #Dec. 188252
c NEW SOLUTION FOUND: -3790059 @ 284.42 @ #Dec. 188263
c NEW SOLUTION FOUND: -3790955 @ 284.43 @ #Dec. 188275
c NEW SOLUTION FOUND: -3791083 @ 284.43 @ #Dec. 188286
c NEW SOLUTION FOUND: -3791111 @ 284.52 @ #Dec. 188308
c NEW SOLUTION FOUND: -3791129 @ 284.53 @ #Dec. 188309
c NEW SOLUTION FOUND: -3791303 @ 284.66 @ #Dec. 188429
c NEW SOLUTION FOUND: -3792513 @ 284.73 @ #Dec. 188463
c NEW SOLUTION FOUND: -3792783 @ 287.18 @ #Dec. 188856
c NEW SOLUTION FOUND: -3792813 @ 287.18 @ #Dec. 188861
c NEW SOLUTION FOUND: -3792849 @ 287.2 @ #Dec. 188874
c NEW SOLUTION FOUND: -3792969 @ 287.68 @ #Dec. 188982
c NEW SOLUTION FOUND: -3794505 @ 287.69 @ #Dec. 188994
c NEW SOLUTION FOUND: -3794513 @ 287.69 @ #Dec. 188995
c NEW SOLUTION FOUND: -3794829 @ 287.99 @ #Dec. 189075
c NEW SOLUTION FOUND: -3794903 @ 288.08 @ #Dec. 189130
c NEW SOLUTION FOUND: -3795013 @ 288.19 @ #Dec. 189157
c NEW SOLUTION FOUND: -3795251 @ 288.24 @ #Dec. 189191
c NEW SOLUTION FOUND: -3795257 @ 289.21 @ #Dec. 189400
c NEW SOLUTION FOUND: -3795305 @ 289.21 @ #Dec. 189404
c NEW SOLUTION FOUND: -3795319 @ 289.55 @ #Dec. 189469
c NEW SOLUTION FOUND: -3795379 @ 289.55 @ #Dec. 189471
c NEW SOLUTION FOUND: -3795667 @ 289.62 @ #Dec. 189499
c NEW SOLUTION FOUND: -3795727 @ 289.63 @ #Dec. 189501
c NEW SOLUTION FOUND: -3795751 @ 290.93 @ #Dec. 189860
c NEW SOLUTION FOUND: -3795781 @ 290.93 @ #Dec. 189862
c NEW SOLUTION FOUND: -3795875 @ 291.22 @ #Dec. 189895
c NEW SOLUTION FOUND: -3795905 @ 291.22 @ #Dec. 189896
c NEW SOLUTION FOUND: -3795965 @ 291.22 @ #Dec. 189898
c NEW SOLUTION FOUND: -3796143 @ 291.39 @ #Dec. 189930
c NEW SOLUTION FOUND: -3796203 @ 291.39 @ #Dec. 189932
c NEW SOLUTION FOUND: -3796209 @ 291.98 @ #Dec. 190093
c NEW SOLUTION FOUND: -3796241 @ 292 @ #Dec. 190104
c NEW SOLUTION FOUND: -3796257 @ 292.02 @ #Dec. 190111
c NEW SOLUTION FOUND: -3796513 @ 292.19 @ #Dec. 190136
c NEW SOLUTION FOUND: -3796633 @ 292.23 @ #Dec. 190170
c NEW SOLUTION FOUND: -3796679 @ 292.28 @ #Dec. 190200
c NEW SOLUTION FOUND: -3796797 @ 292.85 @ #Dec. 190306
c NEW SOLUTION FOUND: -3796917 @ 292.86 @ #Dec. 190310
c NEW SOLUTION FOUND: -3796943 @ 293.48 @ #Dec. 190459
c NEW SOLUTION FOUND: -3796989 @ 293.49 @ #Dec. 190472
c NEW SOLUTION FOUND: -3797109 @ 293.5 @ #Dec. 190500
c NEW SOLUTION FOUND: -3797155 @ 293.55 @ #Dec. 190525
c NEW SOLUTION FOUND: -3797209 @ 295.31 @ #Dec. 190881
c NEW SOLUTION FOUND: -3797391 @ 295.46 @ #Dec. 190910
c NEW SOLUTION FOUND: -3797631 @ 295.47 @ #Dec. 190918
c NEW SOLUTION FOUND: -3797664 @ 296.15 @ #Dec. 191093
c NEW SOLUTION FOUND: -3797679 @ 296.15 @ #Dec. 191093
c NEW SOLUTION FOUND: -3797709 @ 296.15 @ #Dec. 191095
c NEW SOLUTION FOUND: -3797769 @ 296.15 @ #Dec. 191098
c NEW SOLUTION FOUND: -3797777 @ 296.15 @ #Dec. 191105
c NEW SOLUTION FOUND: -3797823 @ 296.16 @ #Dec. 191119
c NEW SOLUTION FOUND: -3797869 @ 296.19 @ #Dec. 191156
c NEW SOLUTION FOUND: -3798107 @ 296.54 @ #Dec. 191242
c NEW SOLUTION FOUND: -3798119 @ 300.45 @ #Dec. 191630
c NEW SOLUTION FOUND: -3798149 @ 300.45 @ #Dec. 191637
c NEW SOLUTION FOUND: -3798179 @ 300.45 @ #Dec. 191649
c NEW SOLUTION FOUND: -3798209 @ 300.45 @ #Dec. 191656
c NEW SOLUTION FOUND: -3798239 @ 300.45 @ #Dec. 191667
c NEW SOLUTION FOUND: -3798269 @ 300.46 @ #Dec. 191677
c NEW SOLUTION FOUND: -3798283 @ 300.5 @ #Dec. 191694
c NEW SOLUTION FOUND: -3798295 @ 300.5 @ #Dec. 191701
c NEW SOLUTION FOUND: -3798343 @ 300.5 @ #Dec. 191705
c NEW SOLUTION FOUND: -3798415 @ 300.51 @ #Dec. 191713
c NEW SOLUTION FOUND: -3798447 @ 300.51 @ #Dec. 191718
c NEW SOLUTION FOUND: -3798463 @ 300.51 @ #Dec. 191722
c NEW SOLUTION FOUND: -3798509 @ 300.54 @ #Dec. 191740
c NEW SOLUTION FOUND: -3798637 @ 300.57 @ #Dec. 191757
c NEW SOLUTION FOUND: -3799059 @ 300.75 @ #Dec. 191800
c NEW SOLUTION FOUND: -3800043 @ 304.64 @ #Dec. 192439
c NEW SOLUTION FOUND: -3800245 @ 304.68 @ #Dec. 192449
c NEW SOLUTION FOUND: -3800263 @ 304.68 @ #Dec. 192453
c NEW SOLUTION FOUND: -3800281 @ 304.68 @ #Dec. 192456
c NEW SOLUTION FOUND: -3800283 @ 304.74 @ #Dec. 192481
c NEW SOLUTION FOUND: -3800419 @ 304.76 @ #Dec. 192490
c NEW SOLUTION FOUND: -3800547 @ 304.81 @ #Dec. 192511
c NEW SOLUTION FOUND: -3800749 @ 304.84 @ #Dec. 192530
c NEW SOLUTION FOUND: -3802043 @ 305.03 @ #Dec. 192593
c NEW SOLUTION FOUND: -3802493 @ 305.09 @ #Dec. 192613
c NEW SOLUTION FOUND: -3802749 @ 305.11 @ #Dec. 192622
c NEW SOLUTION FOUND: -3802831 @ 305.28 @ #Dec. 192673
c NEW SOLUTION FOUND: -3802841 @ 305.29 @ #Dec. 192678
c NEW SOLUTION FOUND: -3803051 @ 305.38 @ #Dec. 192709
c NEW SOLUTION FOUND: -3804773 @ 305.46 @ #Dec. 192753
c NEW SOLUTION FOUND: -3805067 @ 305.6 @ #Dec. 192802
c NEW SOLUTION FOUND: -3805967 @ 305.66 @ #Dec. 192839
c NEW SOLUTION FOUND: -3805983 @ 305.68 @ #Dec. 192844
c NEW SOLUTION FOUND: -3806001 @ 305.69 @ #Dec. 192850
c NEW SOLUTION FOUND: -3806075 @ 305.77 @ #Dec. 192876
c NEW SOLUTION FOUND: -3808075 @ 305.82 @ #Dec. 192891
c NEW SOLUTION FOUND: -3808091 @ 305.84 @ #Dec. 192896
c NEW SOLUTION FOUND: -3808467 @ 305.92 @ #Dec. 192925
c NEW SOLUTION FOUND: -3808513 @ 305.94 @ #Dec. 192942
c NEW SOLUTION FOUND: -3808699 @ 306.24 @ #Dec. 193057
c NEW SOLUTION FOUND: -3808939 @ 306.3 @ #Dec. 193077
c NEW SOLUTION FOUND: -3808969 @ 306.32 @ #Dec. 193089
c NEW SOLUTION FOUND: -3809083 @ 306.39 @ #Dec. 193114
c NEW SOLUTION FOUND: -3810075 @ 306.45 @ #Dec. 193129
c NEW SOLUTION FOUND: -3810091 @ 306.47 @ #Dec. 193134
c NEW SOLUTION FOUND: -3810467 @ 306.51 @ #Dec. 193148
c NEW SOLUTION FOUND: -3810513 @ 306.53 @ #Dec. 193163
c NEW SOLUTION FOUND: -3810783 @ 307.52 @ #Dec. 193342
c NEW SOLUTION FOUND: -3810798 @ 307.52 @ #Dec. 193344
c NEW SOLUTION FOUND: -3810813 @ 307.52 @ #Dec. 193345
c NEW SOLUTION FOUND: -3810814 @ 307.52 @ #Dec. 193354
c NEW SOLUTION FOUND: -3810829 @ 307.52 @ #Dec. 193355
c NEW SOLUTION FOUND: -3811251 @ 307.61 @ #Dec. 193367
c NEW SOLUTION FOUND: -3811257 @ 308.99 @ #Dec. 193642
c NEW SOLUTION FOUND: -3811305 @ 309.01 @ #Dec. 193652
c NEW SOLUTION FOUND: -3811667 @ 309.07 @ #Dec. 193659
c NEW SOLUTION FOUND: -3811727 @ 309.07 @ #Dec. 193661
c NEW SOLUTION FOUND: -3812143 @ 309.92 @ #Dec. 193801
c NEW SOLUTION FOUND: -3812203 @ 309.92 @ #Dec. 193803
c NEW SOLUTION FOUND: -3812257 @ 310.73 @ #Dec. 193974
c NEW SOLUTION FOUND: -3812559 @ 310.81 @ #Dec. 193988
c NEW SOLUTION FOUND: -3812619 @ 310.86 @ #Dec. 194002
c NEW SOLUTION FOUND: -3812679 @ 310.86 @ #Dec. 194004
c NEW SOLUTION FOUND: -3812685 @ 312.15 @ #Dec. 194284
c NEW SOLUTION FOUND: -3812717 @ 312.17 @ #Dec. 194293
c NEW SOLUTION FOUND: -3812733 @ 312.19 @ #Dec. 194299
c NEW SOLUTION FOUND: -3813095 @ 312.25 @ #Dec. 194310
c NEW SOLUTION FOUND: -3813155 @ 312.25 @ #Dec. 194313
c NEW SOLUTION FOUND: -3813391 @ 312.81 @ #Dec. 194429
c NEW SOLUTION FOUND: -3813406 @ 312.83 @ #Dec. 194440
c NEW SOLUTION FOUND: -3813421 @ 312.83 @ #Dec. 194440
c NEW SOLUTION FOUND: -3813451 @ 312.83 @ #Dec. 194441
c NEW SOLUTION FOUND: -3813511 @ 312.83 @ #Dec. 194443
c NEW SOLUTION FOUND: -3813631 @ 312.86 @ #Dec. 194451
c NEW SOLUTION FOUND: -3813779 @ 314.17 @ #Dec. 194671
c NEW SOLUTION FOUND: -3813809 @ 314.17 @ #Dec. 194672
c NEW SOLUTION FOUND: -3813839 @ 314.17 @ #Dec. 194675
c NEW SOLUTION FOUND: -3813869 @ 314.17 @ #Dec. 194677
c NEW SOLUTION FOUND: -3814107 @ 314.81 @ #Dec. 194801
c NEW SOLUTION FOUND: -3814161 @ 315.58 @ #Dec. 194935
c NEW SOLUTION FOUND: -3814583 @ 315.68 @ #Dec. 194956
c NEW SOLUTION FOUND: -3814821 @ 316.06 @ #Dec. 195038
c NEW SOLUTION FOUND: -3815059 @ 316.47 @ #Dec. 195122
c NEW SOLUTION FOUND: -3815213 @ 317.21 @ #Dec. 195303
c NEW SOLUTION FOUND: -3815323 @ 317.34 @ #Dec. 195359
c NEW SOLUTION FOUND: -3815343 @ 317.43 @ #Dec. 195462
c NEW SOLUTION FOUND: -3815353 @ 317.48 @ #Dec. 195517
c NEW SOLUTION FOUND: -3815403 @ 317.51 @ #Dec. 195534
c NEW SOLUTION FOUND: -3816493 @ 317.58 @ #Dec. 195559
c NEW SOLUTION FOUND: -3816603 @ 317.71 @ #Dec. 195605
c NEW SOLUTION FOUND: -3816633 @ 317.76 @ #Dec. 195630
c NEW SOLUTION FOUND: -3816683 @ 317.8 @ #Dec. 195648
c NEW SOLUTION FOUND: -3817243 @ 317.95 @ #Dec. 195682
c NEW SOLUTION FOUND: -3817263 @ 318 @ #Dec. 195704
c NEW SOLUTION FOUND: -3817273 @ 318.02 @ #Dec. 195719
c NEW SOLUTION FOUND: -3817323 @ 318.05 @ #Dec. 195737
c NEW SOLUTION FOUND: -3817773 @ 318.1 @ #Dec. 195759
c NEW SOLUTION FOUND: -3817883 @ 318.17 @ #Dec. 195794
c NEW SOLUTION FOUND: -3817913 @ 318.22 @ #Dec. 195818
c NEW SOLUTION FOUND: -3817963 @ 318.25 @ #Dec. 195837
c NEW SOLUTION FOUND: -3818523 @ 318.3 @ #Dec. 195865
c NEW SOLUTION FOUND: -3818543 @ 318.35 @ #Dec. 195887
c NEW SOLUTION FOUND: -3818553 @ 318.37 @ #Dec. 195902
c NEW SOLUTION FOUND: -3818603 @ 318.4 @ #Dec. 195921
c NEW SOLUTION FOUND: -3819053 @ 318.45 @ #Dec. 195943
c NEW SOLUTION FOUND: -3819193 @ 318.54 @ #Dec. 195981
c NEW SOLUTION FOUND: -3819243 @ 318.58 @ #Dec. 196007
c NEW SOLUTION FOUND: -3819443 @ 320.92 @ #Dec. 197039
c NEW SOLUTION FOUND: -3819483 @ 320.92 @ #Dec. 197047
c NEW SOLUTION FOUND: -3819493 @ 320.93 @ #Dec. 197062
c NEW SOLUTION FOUND: -3820123 @ 320.95 @ #Dec. 197083
c NEW SOLUTION FOUND: -3820133 @ 320.97 @ #Dec. 197098
c NEW SOLUTION FOUND: -3820763 @ 321 @ #Dec. 197123
c NEW SOLUTION FOUND: -3820773 @ 321.01 @ #Dec. 197138
c NEW SOLUTION FOUND: -3821083 @ 321.03 @ #Dec. 197158
c NEW SOLUTION FOUND: -3821163 @ 321.05 @ #Dec. 197178
c NEW SOLUTION FOUND: -3821403 @ 321.18 @ #Dec. 197217
c NEW SOLUTION FOUND: -3821413 @ 321.2 @ #Dec. 197233
c NEW SOLUTION FOUND: -3821723 @ 321.34 @ #Dec. 197271
c NEW SOLUTION FOUND: -3821803 @ 321.47 @ #Dec. 197309
c NEW SOLUTION FOUND: -3822506 @ 321.92 @ #Dec. 197411
c NEW SOLUTION FOUND: -3822516 @ 321.93 @ #Dec. 197420
c NEW SOLUTION FOUND: -3822521 @ 321.93 @ #Dec. 197430
c NEW SOLUTION FOUND: -3822531 @ 321.94 @ #Dec. 197441
c NEW SOLUTION FOUND: -3822541 @ 321.94 @ #Dec. 197451
c NEW SOLUTION FOUND: -3822546 @ 321.95 @ #Dec. 197469
c NEW SOLUTION FOUND: -3822551 @ 321.95 @ #Dec. 197479
c NEW SOLUTION FOUND: -3822571 @ 321.96 @ #Dec. 197489
c NEW SOLUTION FOUND: -3822601 @ 321.96 @ #Dec. 197501
c NEW SOLUTION FOUND: -3822631 @ 321.97 @ #Dec. 197520
c NEW SOLUTION FOUND: -3822641 @ 321.98 @ #Dec. 197537
c NEW SOLUTION FOUND: -3822661 @ 321.99 @ #Dec. 197552
c NEW SOLUTION FOUND: -3822741 @ 322 @ #Dec. 197568
c NEW SOLUTION FOUND: -3822771 @ 322.01 @ #Dec. 197581
c NEW SOLUTION FOUND: -3822923 @ 322.65 @ #Dec. 197692
c NEW SOLUTION FOUND: -3823243 @ 322.72 @ #Dec. 197773
c NEW SOLUTION FOUND: -3823431 @ 322.97 @ #Dec. 197845
c NEW SOLUTION FOUND: -3823481 @ 323.09 @ #Dec. 197888
c NEW SOLUTION FOUND: -3824173 @ 323.3 @ #Dec. 197975
c NEW SOLUTION FOUND: -3824203 @ 323.33 @ #Dec. 198002
c NEW SOLUTION FOUND: -3824523 @ 323.35 @ #Dec. 198022
c NEW SOLUTION FOUND: -3824753 @ 323.64 @ #Dec. 198119
c NEW SOLUTION FOUND: -3824763 @ 323.7 @ #Dec. 198145
c NEW SOLUTION FOUND: -3824803 @ 323.73 @ #Dec. 198164
c NEW SOLUTION FOUND: -3825393 @ 323.83 @ #Dec. 198206
c NEW SOLUTION FOUND: -3825483 @ 323.87 @ #Dec. 198231
c NEW SOLUTION FOUND: -3825803 @ 323.94 @ #Dec. 198266
c NEW SOLUTION FOUND: -3825991 @ 324.18 @ #Dec. 198315
c NEW SOLUTION FOUND: -3826041 @ 324.41 @ #Dec. 198459
c NEW SOLUTION FOUND: -3826123 @ 324.64 @ #Dec. 198549
c NEW SOLUTION FOUND: -3826243 @ 324.65 @ #Dec. 198573
c NEW SOLUTION FOUND: -3826261 @ 324.81 @ #Dec. 198625
c NEW SOLUTION FOUND: -3826481 @ 324.83 @ #Dec. 198645
c NEW SOLUTION FOUND: -3826893 @ 324.95 @ #Dec. 198690
c NEW SOLUTION FOUND: -3827001 @ 324.98 @ #Dec. 198718
c NEW SOLUTION FOUND: -3827131 @ 324.99 @ #Dec. 198736
c NEW SOLUTION FOUND: -3827241 @ 325.05 @ #Dec. 198763
c NEW SOLUTION FOUND: -3827763 @ 325.16 @ #Dec. 198799
c NEW SOLUTION FOUND: -3827773 @ 325.17 @ #Dec. 198813
c NEW SOLUTION FOUND: -3827951 @ 325.4 @ #Dec. 198845
c NEW SOLUTION FOUND: -3828011 @ 325.4 @ #Dec. 198857
c NEW SOLUTION FOUND: -3828553 @ 325.48 @ #Dec. 198882
c NEW SOLUTION FOUND: -3828773 @ 325.53 @ #Dec. 198901
c NEW SOLUTION FOUND: -3828781 @ 325.64 @ #Dec. 198927
c NEW SOLUTION FOUND: -3828791 @ 325.65 @ #Dec. 198941
c NEW SOLUTION FOUND: -3828951 @ 325.69 @ #Dec. 198959
c NEW SOLUTION FOUND: -3829011 @ 325.69 @ #Dec. 198973
c NEW SOLUTION FOUND: -3829801 @ 325.94 @ #Dec. 199025
c NEW SOLUTION FOUND: -3829851 @ 325.95 @ #Dec. 199040
c NEW SOLUTION FOUND: -3829861 @ 325.96 @ #Dec. 199054
c NEW SOLUTION FOUND: -3829921 @ 325.97 @ #Dec. 199070
c NEW SOLUTION FOUND: -3829971 @ 325.98 @ #Dec. 199085
c NEW SOLUTION FOUND: -3829981 @ 325.99 @ #Dec. 199099
c NEW SOLUTION FOUND: -3830021 @ 326.03 @ #Dec. 199117
c NEW SOLUTION FOUND: -3830081 @ 326.04 @ #Dec. 199131
c NEW SOLUTION FOUND: -3830141 @ 326.05 @ #Dec. 199147
c NEW SOLUTION FOUND: -3830201 @ 326.06 @ #Dec. 199161
c NEW SOLUTION FOUND: -3830219 @ 326.1 @ #Dec. 199183
c NEW SOLUTION FOUND: -3830319 @ 326.13 @ #Dec. 199203
c NEW SOLUTION FOUND: -3830439 @ 326.14 @ #Dec. 199219
c NEW SOLUTION FOUND: -3834599 @ 326.62 @ #Dec. 199321
c NEW SOLUTION FOUND: -3834719 @ 326.63 @ #Dec. 199337
c NEW SOLUTION FOUND: -3834809 @ 326.68 @ #Dec. 199363
c NEW SOLUTION FOUND: -3834819 @ 326.69 @ #Dec. 199378
c NEW SOLUTION FOUND: -3834939 @ 326.7 @ #Dec. 199394
c NEW SOLUTION FOUND: -3836331 @ 327.33 @ #Dec. 199563
c NEW SOLUTION FOUND: -3836341 @ 327.35 @ #Dec. 199580
c NEW SOLUTION FOUND: -3836461 @ 327.36 @ #Dec. 199598
c NEW SOLUTION FOUND: -3836569 @ 327.42 @ #Dec. 199633
c NEW SOLUTION FOUND: -3836579 @ 327.43 @ #Dec. 199650
c NEW SOLUTION FOUND: -3836699 @ 327.44 @ #Dec. 199668
c NEW SOLUTION FOUND: -3836803 @ 327.58 @ #Dec. 199759
c NEW SOLUTION FOUND: -3836883 @ 327.62 @ #Dec. 199793
c NEW SOLUTION FOUND: -3841429 @ 327.71 @ #Dec. 199844
c NEW SOLUTION FOUND: -3841549 @ 327.74 @ #Dec. 199871
c NEW SOLUTION FOUND: -3842011 @ 327.85 @ #Dec. 199919
c NEW SOLUTION FOUND: -3842021 @ 327.86 @ #Dec. 199936
c NEW SOLUTION FOUND: -3842141 @ 327.88 @ #Dec. 199954
c NEW SOLUTION FOUND: -3842249 @ 327.92 @ #Dec. 199981
c NEW SOLUTION FOUND: -3842259 @ 327.93 @ #Dec. 199998
c NEW SOLUTION FOUND: -3842379 @ 327.95 @ #Dec. 200016
c NEW SOLUTION FOUND: -3842431 @ 328.1 @ #Dec. 200097
c NEW SOLUTION FOUND: -3842441 @ 328.14 @ #Dec. 200125
c NEW SOLUTION FOUND: -3842561 @ 328.15 @ #Dec. 200142
c NEW SOLUTION FOUND: -3842591 @ 328.23 @ #Dec. 200184
c NEW SOLUTION FOUND: -3842669 @ 328.3 @ #Dec. 200226
c NEW SOLUTION FOUND: -3842799 @ 328.36 @ #Dec. 200259
c NEW SOLUTION FOUND: -3842829 @ 328.46 @ #Dec. 200311
c NEW SOLUTION FOUND: -3842875 @ 329.49 @ #Dec. 200403
c NEW SOLUTION FOUND: -3843115 @ 329.53 @ #Dec. 200431
c NEW SOLUTION FOUND: -3843353 @ 329.59 @ #Dec. 200468
c NEW SOLUTION FOUND: -3843591 @ 329.65 @ #Dec. 200503
c NEW SOLUTION FOUND: -3843829 @ 329.73 @ #Dec. 200546
c NEW SOLUTION FOUND: -3844067 @ 329.81 @ #Dec. 200588
c NEW SOLUTION FOUND: -3844303 @ 329.89 @ #Dec. 200631
c NEW SOLUTION FOUND: -3844543 @ 329.92 @ #Dec. 200652
c NEW SOLUTION FOUND: -3844733 @ 330.5 @ #Dec. 200786
c NEW SOLUTION FOUND: -3844843 @ 333.88 @ #Dec. 202070
c NEW SOLUTION FOUND: -3847355 @ 333.93 @ #Dec. 202097
c NEW SOLUTION FOUND: -3847859 @ 334 @ #Dec. 202130
c NEW SOLUTION FOUND: -3848757 @ 334.08 @ #Dec. 202177
c NEW SOLUTION FOUND: -3850757 @ 334.32 @ #Dec. 202321
c NEW SOLUTION FOUND: -3850793 @ 334.56 @ #Dec. 202447
c NEW SOLUTION FOUND: -3850857 @ 334.58 @ #Dec. 202456
c NEW SOLUTION FOUND: -3851257 @ 334.61 @ #Dec. 202469
c NEW SOLUTION FOUND: -3851449 @ 334.66 @ #Dec. 202493
c NEW SOLUTION FOUND: -3851464 @ 334.68 @ #Dec. 202500
c NEW SOLUTION FOUND: -3851479 @ 334.69 @ #Dec. 202506
c NEW SOLUTION FOUND: -3851495 @ 334.72 @ #Dec. 202517
c NEW SOLUTION FOUND: -3856619 @ 335.02 @ #Dec. 202704
c NEW SOLUTION FOUND: -3856875 @ 335.09 @ #Dec. 202733
c NEW SOLUTION FOUND: -3856907 @ 335.15 @ #Dec. 202756
c NEW SOLUTION FOUND: -3858619 @ 335.24 @ #Dec. 202793
c NEW SOLUTION FOUND: -3858907 @ 335.31 @ #Dec. 202817
c NEW SOLUTION FOUND: -3859119 @ 335.4 @ #Dec. 202852
c NEW SOLUTION FOUND: -3859407 @ 335.45 @ #Dec. 202870
c NEW SOLUTION FOUND: -3859613 @ 335.59 @ #Dec. 202918
c NEW SOLUTION FOUND: -3859645 @ 335.66 @ #Dec. 202941
c NEW SOLUTION FOUND: -3859773 @ 335.89 @ #Dec. 202993
c NEW SOLUTION FOUND: -3859833 @ 335.92 @ #Dec. 203010
c NEW SOLUTION FOUND: -3860061 @ 335.97 @ #Dec. 203029
c NEW SOLUTION FOUND: -3860121 @ 335.99 @ #Dec. 203037
c NEW SOLUTION FOUND: -3860267 @ 336.43 @ #Dec. 203128
c NEW SOLUTION FOUND: -3860327 @ 336.45 @ #Dec. 203139
c NEW SOLUTION FOUND: -3860359 @ 336.5 @ #Dec. 203159
c NEW SOLUTION FOUND: -3860537 @ 336.66 @ #Dec. 203203
c NEW SOLUTION FOUND: -3860597 @ 336.68 @ #Dec. 203211
c NEW SOLUTION FOUND: -3861497 @ 336.96 @ #Dec. 203251
c NEW SOLUTION FOUND: -3861617 @ 336.99 @ #Dec. 203270
c NEW SOLUTION FOUND: -3861737 @ 337.02 @ #Dec. 203288
c NEW SOLUTION FOUND: -3861785 @ 337.1 @ #Dec. 203311
c NEW SOLUTION FOUND: -3861905 @ 337.12 @ #Dec. 203321
c NEW SOLUTION FOUND: -3862025 @ 337.13 @ #Dec. 203330
c NEW SOLUTION FOUND: -3862111 @ 337.59 @ #Dec. 203421
c NEW SOLUTION FOUND: -3862231 @ 337.61 @ #Dec. 203432
c NEW SOLUTION FOUND: -3862263 @ 337.67 @ #Dec. 203468
c NEW SOLUTION FOUND: -3862349 @ 337.8 @ #Dec. 203516
c NEW SOLUTION FOUND: -3862469 @ 337.83 @ #Dec. 203529
c NEW SOLUTION FOUND: -3862501 @ 337.93 @ #Dec. 203564
c NEW SOLUTION FOUND: -3862739 @ 338.78 @ #Dec. 203690
c NEW SOLUTION FOUND: -3862945 @ 338.94 @ #Dec. 203736
c NEW SOLUTION FOUND: -3862977 @ 339.03 @ #Dec. 203761
c NEW SOLUTION FOUND: -3863215 @ 339.28 @ #Dec. 203802
c NEW SOLUTION FOUND: -3863453 @ 339.42 @ #Dec. 203840
c NEW SOLUTION FOUND: -3863543 @ 341.02 @ #Dec. 204097
c NEW SOLUTION FOUND: -3863623 @ 341.06 @ #Dec. 204117
c NEW SOLUTION FOUND: -3863643 @ 341.07 @ #Dec. 204135
c NEW SOLUTION FOUND: -3863653 @ 341.07 @ #Dec. 204152
c NEW SOLUTION FOUND: -3863781 @ 341.21 @ #Dec. 204187
c NEW SOLUTION FOUND: -3863861 @ 341.24 @ #Dec. 204206
c NEW SOLUTION FOUND: -3863891 @ 341.25 @ #Dec. 204223
c NEW SOLUTION FOUND: -3864097 @ 341.58 @ #Dec. 204287
c NEW SOLUTION FOUND: -3864257 @ 341.67 @ #Dec. 204315
c NEW SOLUTION FOUND: -3864337 @ 341.69 @ #Dec. 204335
c NEW SOLUTION FOUND: -3864357 @ 341.7 @ #Dec. 204353
c NEW SOLUTION FOUND: -3864367 @ 341.71 @ #Dec. 204370
c NEW SOLUTION FOUND: -3864495 @ 342.15 @ #Dec. 204488
c NEW SOLUTION FOUND: -3864605 @ 342.17 @ #Dec. 204507
c NEW SOLUTION FOUND: -3864733 @ 342.3 @ #Dec. 204542
c NEW SOLUTION FOUND: -3864813 @ 342.33 @ #Dec. 204562
c NEW SOLUTION FOUND: -3864833 @ 342.34 @ #Dec. 204580
c NEW SOLUTION FOUND: -3864843 @ 342.35 @ #Dec. 204597
c NEW SOLUTION FOUND: -3865463 @ 342.74 @ #Dec. 204666
c NEW SOLUTION FOUND: -3865683 @ 342.8 @ #Dec. 204691
c NEW SOLUTION FOUND: -3865939 @ 342.82 @ #Dec. 204708
c NEW SOLUTION FOUND: -3866947 @ 342.86 @ #Dec. 204727
c NEW SOLUTION FOUND: -3868955 @ 342.92 @ #Dec. 204755
c NEW SOLUTION FOUND: -3870715 @ 342.97 @ #Dec. 204771
c NEW SOLUTION FOUND: -3870779 @ 343.01 @ #Dec. 204783
c NEW SOLUTION FOUND: -3870963 @ 343.12 @ #Dec. 204809
c NEW SOLUTION FOUND: -3870995 @ 343.16 @ #Dec. 204833
c NEW SOLUTION FOUND: -3871265 @ 343.19 @ #Dec. 204846
c NEW SOLUTION FOUND: -3871467 @ 343.24 @ #Dec. 204869
c NEW SOLUTION FOUND: -3871971 @ 343.28 @ #Dec. 204887
c NEW SOLUTION FOUND: -3871981 @ 343.3 @ #Dec. 204895
c NEW SOLUTION FOUND: -3871989 @ 343.3 @ #Dec. 204897
c NEW SOLUTION FOUND: -3872133 @ 343.42 @ #Dec. 204918
c NEW SOLUTION FOUND: -3872193 @ 343.42 @ #Dec. 204920
c NEW SOLUTION FOUND: -3873693 @ 343.49 @ #Dec. 204942
c NEW SOLUTION FOUND: -3873753 @ 343.51 @ #Dec. 204953
c NEW SOLUTION FOUND: -3873793 @ 343.55 @ #Dec. 204974
c NEW SOLUTION FOUND: -3873913 @ 343.6 @ #Dec. 204997
c NEW SOLUTION FOUND: -3874201 @ 343.63 @ #Dec. 205014
c NEW SOLUTION FOUND: -3875227 @ 343.68 @ #Dec. 205024
c NEW SOLUTION FOUND: -3882707 @ 343.86 @ #Dec. 205082
c NEW SOLUTION FOUND: -3884755 @ 343.91 @ #Dec. 205101
c NEW SOLUTION FOUND: -3885043 @ 343.95 @ #Dec. 205115
c NEW SOLUTION FOUND: -3887059 @ 344.04 @ #Dec. 205147
c NEW SOLUTION FOUND: -3887459 @ 344.08 @ #Dec. 205164
c NEW SOLUTION FOUND: -3887683 @ 344.09 @ #Dec. 205172
c NEW SOLUTION FOUND: -3887701 @ 344.1 @ #Dec. 205181
c NEW SOLUTION FOUND: -3887933 @ 344.17 @ #Dec. 205219
c NEW SOLUTION FOUND: -3887993 @ 344.2 @ #Dec. 205238
c NEW SOLUTION FOUND: -3888221 @ 344.25 @ #Dec. 205252
c NEW SOLUTION FOUND: -3888281 @ 344.25 @ #Dec. 205257
c NEW SOLUTION FOUND: -3889213 @ 344.34 @ #Dec. 205288
c NEW SOLUTION FOUND: -3889273 @ 344.39 @ #Dec. 205310
c NEW SOLUTION FOUND: -3890237 @ 344.44 @ #Dec. 205330
c NEW SOLUTION FOUND: -3890297 @ 344.49 @ #Dec. 205350
c NEW SOLUTION FOUND: -3890637 @ 344.53 @ #Dec. 205364
c NEW SOLUTION FOUND: -3890697 @ 344.53 @ #Dec. 205374
c NEW SOLUTION FOUND: -3890707 @ 344.54 @ #Dec. 205383
c NEW SOLUTION FOUND: -3890939 @ 344.54 @ #Dec. 205390
c NEW SOLUTION FOUND: -3891489 @ 345.16 @ #Dec. 205479
c NEW SOLUTION FOUND: -3892321 @ 345.75 @ #Dec. 205547
c NEW SOLUTION FOUND: -3892381 @ 345.76 @ #Dec. 205555
c NEW SOLUTION FOUND: -3892441 @ 345.76 @ #Dec. 205557
c NEW SOLUTION FOUND: -3892559 @ 346 @ #Dec. 205593
c NEW SOLUTION FOUND: -3892619 @ 346.02 @ #Dec. 205599
c NEW SOLUTION FOUND: -3892679 @ 346.02 @ #Dec. 205601
c NEW SOLUTION FOUND: -3892737 @ 346.53 @ #Dec. 205672
c NEW SOLUTION FOUND: -3892797 @ 346.53 @ #Dec. 205674
c NEW SOLUTION FOUND: -3892857 @ 346.53 @ #Dec. 205677
c NEW SOLUTION FOUND: -3892917 @ 346.53 @ #Dec. 205679
c NEW SOLUTION FOUND: -3892975 @ 346.67 @ #Dec. 205701
c NEW SOLUTION FOUND: -3893035 @ 346.68 @ #Dec. 205703
c NEW SOLUTION FOUND: -3893095 @ 346.68 @ #Dec. 205706
c NEW SOLUTION FOUND: -3893155 @ 346.68 @ #Dec. 205708
c NEW SOLUTION FOUND: -3893209 @ 347.28 @ #Dec. 205843
c NEW SOLUTION FOUND: -3893391 @ 347.34 @ #Dec. 205849
c NEW SOLUTION FOUND: -3893451 @ 347.37 @ #Dec. 205856
c NEW SOLUTION FOUND: -3893511 @ 347.37 @ #Dec. 205858
c NEW SOLUTION FOUND: -3893571 @ 347.37 @ #Dec. 205861
c NEW SOLUTION FOUND: -3893631 @ 347.37 @ #Dec. 205863
c NEW SOLUTION FOUND: -3893644 @ 347.83 @ #Dec. 205943
c NEW SOLUTION FOUND: -3893659 @ 347.83 @ #Dec. 205943
c NEW SOLUTION FOUND: -3893689 @ 347.84 @ #Dec. 205944
c NEW SOLUTION FOUND: -3893749 @ 347.84 @ #Dec. 205946
c NEW SOLUTION FOUND: -3893809 @ 347.84 @ #Dec. 205949
c NEW SOLUTION FOUND: -3893869 @ 347.84 @ #Dec. 205951
c NEW SOLUTION FOUND: -3893927 @ 348.04 @ #Dec. 205982
c NEW SOLUTION FOUND: -3893987 @ 348.04 @ #Dec. 205984
c NEW SOLUTION FOUND: -3894047 @ 348.05 @ #Dec. 205987
c NEW SOLUTION FOUND: -3894107 @ 348.05 @ #Dec. 205989
c NEW SOLUTION FOUND: -3894161 @ 348.32 @ #Dec. 206061
c NEW SOLUTION FOUND: -3894343 @ 348.38 @ #Dec. 206070
c NEW SOLUTION FOUND: -3894463 @ 348.4 @ #Dec. 206075
c NEW SOLUTION FOUND: -3894583 @ 348.4 @ #Dec. 206078
c NEW SOLUTION FOUND: -3894637 @ 348.6 @ #Dec. 206120
c NEW SOLUTION FOUND: -3894699 @ 348.65 @ #Dec. 206130
c NEW SOLUTION FOUND: -3894819 @ 348.66 @ #Dec. 206133
c NEW SOLUTION FOUND: -3894939 @ 348.69 @ #Dec. 206138
c NEW SOLUTION FOUND: -3895059 @ 348.69 @ #Dec. 206141
c NEW SOLUTION FOUND: -3895177 @ 350.61 @ #Dec. 206453
c NEW SOLUTION FOUND: -3895297 @ 350.61 @ #Dec. 206456
c NEW SOLUTION FOUND: -3895415 @ 351.5 @ #Dec. 206583
c NEW SOLUTION FOUND: -3895535 @ 351.5 @ #Dec. 206586
c NEW SOLUTION FOUND: -3895653 @ 351.99 @ #Dec. 206666
c NEW SOLUTION FOUND: -3895773 @ 351.99 @ #Dec. 206669
c NEW SOLUTION FOUND: -3896011 @ 352.51 @ #Dec. 206767
c NEW SOLUTION FOUND: -3896153 @ 353.01 @ #Dec. 206890
c NEW SOLUTION FOUND: -3896249 @ 353.12 @ #Dec. 206963
c NEW SOLUTION FOUND: -3896513 @ 359.42 @ #Dec. 208831
c NEW SOLUTION FOUND: -3896977 @ 365.99 @ #Dec. 211156
c NEW SOLUTION FOUND: -3897967 @ 366.03 @ #Dec. 211197
c NEW SOLUTION FOUND: -3897977 @ 366.04 @ #Dec. 211207
c NEW SOLUTION FOUND: -3901091 @ 371.19 @ #Dec. 212839
c NEW SOLUTION FOUND: -3901571 @ 371.22 @ #Dec. 212863
c NEW SOLUTION FOUND: -3901681 @ 371.26 @ #Dec. 212891
c NEW SOLUTION FOUND: -3902631 @ 371.3 @ #Dec. 212918
c NEW SOLUTION FOUND: -3902641 @ 371.33 @ #Dec. 212938
c NEW SOLUTION FOUND: -3903769 @ 371.41 @ #Dec. 212975
c NEW SOLUTION FOUND: -3903879 @ 371.44 @ #Dec. 212995
c NEW SOLUTION FOUND: -3903929 @ 371.64 @ #Dec. 213094
c NEW SOLUTION FOUND: -3916675 @ 371.83 @ #Dec. 213213
c NEW SOLUTION FOUND: -3916755 @ 371.87 @ #Dec. 213241
c NEW SOLUTION FOUND: -3916775 @ 371.95 @ #Dec. 213292
c NEW SOLUTION FOUND: -3916785 @ 371.98 @ #Dec. 213315
c NEW SOLUTION FOUND: -3917075 @ 372.03 @ #Dec. 213348
c NEW SOLUTION FOUND: -3920313 @ 372.1 @ #Dec. 213395
c NEW SOLUTION FOUND: -3921611 @ 372.32 @ #Dec. 213482
c NEW SOLUTION FOUND: -3921849 @ 372.38 @ #Dec. 213516
c NEW SOLUTION FOUND: -3922021 @ 372.49 @ #Dec. 213568
c NEW SOLUTION FOUND: -3922259 @ 372.53 @ #Dec. 213592
c NEW SOLUTION FOUND: -3922409 @ 372.67 @ #Dec. 213646
c NEW SOLUTION FOUND: -3922489 @ 372.7 @ #Dec. 213673
c NEW SOLUTION FOUND: -3922521 @ 372.8 @ #Dec. 213730
c NEW SOLUTION FOUND: -3922749 @ 372.85 @ #Dec. 213760
c NEW SOLUTION FOUND: -3922759 @ 372.88 @ #Dec. 213783
c NEW SOLUTION FOUND: -3923259 @ 373 @ #Dec. 213847
c NEW SOLUTION FOUND: -3923769 @ 373.23 @ #Dec. 213966
c NEW SOLUTION FOUND: -3924555 @ 373.37 @ #Dec. 214038
c NEW SOLUTION FOUND: -3924793 @ 373.42 @ #Dec. 214068
c NEW SOLUTION FOUND: -3925091 @ 373.52 @ #Dec. 214128
c NEW SOLUTION FOUND: -3926329 @ 373.58 @ #Dec. 214166
c NEW SOLUTION FOUND: -3926467 @ 374.81 @ #Dec. 214291
c NEW SOLUTION FOUND: -3927467 @ 374.87 @ #Dec. 214328
c NEW SOLUTION FOUND: -3927491 @ 375.02 @ #Dec. 214395
c NEW SOLUTION FOUND: -3927515 @ 375.14 @ #Dec. 214455
c NEW SOLUTION FOUND: -3927539 @ 375.23 @ #Dec. 214505
c NEW SOLUTION FOUND: -3934123 @ 375.36 @ #Dec. 214564
c NEW SOLUTION FOUND: -3935659 @ 375.47 @ #Dec. 214621
c NEW SOLUTION FOUND: -3935683 @ 375.69 @ #Dec. 214700
c NEW SOLUTION FOUND: -3935707 @ 375.84 @ #Dec. 214773
c NEW SOLUTION FOUND: -3935731 @ 376.06 @ #Dec. 214853
c NEW SOLUTION FOUND: -3935755 @ 376.19 @ #Dec. 214918
c NEW SOLUTION FOUND: -3935779 @ 376.34 @ #Dec. 214984
c NEW SOLUTION FOUND: -3935803 @ 376.45 @ #Dec. 215040
c NEW SOLUTION FOUND: -3935827 @ 376.57 @ #Dec. 215097
c NEW SOLUTION FOUND: -3935851 @ 377.05 @ #Dec. 215167
c NEW SOLUTION FOUND: -3935875 @ 377.14 @ #Dec. 215217
c NEW SOLUTION FOUND: -3935947 @ 377.24 @ #Dec. 215268
c NEW SOLUTION FOUND: -3935971 @ 377.33 @ #Dec. 215318
c NEW SOLUTION FOUND: -3936246 @ 379.94 @ #Dec. 215959
c NEW SOLUTION FOUND: -3938821 @ 380.19 @ #Dec. 216104
c NEW SOLUTION FOUND: -3938971 @ 380.22 @ #Dec. 216126
c NEW SOLUTION FOUND: -3938986 @ 380.23 @ #Dec. 216142
c NEW SOLUTION FOUND: -3939241 @ 380.36 @ #Dec. 216302
c NEW SOLUTION FOUND: -3939265 @ 380.94 @ #Dec. 216470
c NEW SOLUTION FOUND: -3939289 @ 380.97 @ #Dec. 216516
c NEW SOLUTION FOUND: -3939315 @ 381.44 @ #Dec. 216693
c NEW SOLUTION FOUND: -3939375 @ 381.51 @ #Dec. 216732
c NEW SOLUTION FOUND: -3939385 @ 381.54 @ #Dec. 216766
c NEW SOLUTION FOUND: -3940765 @ 382.38 @ #Dec. 217407
c NEW SOLUTION FOUND: -3940775 @ 382.4 @ #Dec. 217430
c NEW SOLUTION FOUND: -3942685 @ 382.43 @ #Dec. 217455
c NEW SOLUTION FOUND: -3942695 @ 382.45 @ #Dec. 217481
c NEW SOLUTION FOUND: -3942903 @ 382.48 @ #Dec. 217518
c NEW SOLUTION FOUND: -3943141 @ 382.49 @ #Dec. 217539
c NEW SOLUTION FOUND: -3943161 @ 382.51 @ #Dec. 217566
c NEW SOLUTION FOUND: -3943171 @ 382.53 @ #Dec. 217597
c NEW SOLUTION FOUND: -3943497 @ 382.76 @ #Dec. 217705
c NEW SOLUTION FOUND: -3943973 @ 382.84 @ #Dec. 217754
c NEW SOLUTION FOUND: -3944113 @ 382.92 @ #Dec. 217815
c NEW SOLUTION FOUND: -3944123 @ 382.94 @ #Dec. 217838
c NEW SOLUTION FOUND: -3944449 @ 383.05 @ #Dec. 217900
c NEW SOLUTION FOUND: -3944687 @ 383.1 @ #Dec. 217936
c NEW SOLUTION FOUND: -3944925 @ 383.13 @ #Dec. 217965
c NEW SOLUTION FOUND: -3945065 @ 383.27 @ #Dec. 218016
c NEW SOLUTION FOUND: -3945075 @ 383.29 @ #Dec. 218044
c NEW SOLUTION FOUND: -3945089 @ 384.72 @ #Dec. 218384
c NEW SOLUTION FOUND: -3945565 @ 384.94 @ #Dec. 218513
c NEW SOLUTION FOUND: -3945725 @ 385.24 @ #Dec. 218597
c NEW SOLUTION FOUND: -3945740 @ 385.25 @ #Dec. 218610
c NEW SOLUTION FOUND: -3945765 @ 385.35 @ #Dec. 218675
c NEW SOLUTION FOUND: -3945885 @ 385.36 @ #Dec. 218694
c NEW SOLUTION FOUND: -3945945 @ 385.49 @ #Dec. 218744
c NEW SOLUTION FOUND: -3945955 @ 385.5 @ #Dec. 218766
c NEW SOLUTION FOUND: -3945979 @ 385.87 @ #Dec. 218860
c NEW SOLUTION FOUND: -3946939 @ 385.89 @ #Dec. 218883
c NEW SOLUTION FOUND: -3948859 @ 385.91 @ #Dec. 218909
c NEW SOLUTION FOUND: -3948959 @ 385.94 @ #Dec. 218945
c NEW SOLUTION FOUND: -3948969 @ 385.96 @ #Dec. 218973
c NEW SOLUTION FOUND: -3950395 @ 386.19 @ #Dec. 219033
c NEW SOLUTION FOUND: -3950495 @ 386.22 @ #Dec. 219065
c NEW SOLUTION FOUND: -3950505 @ 386.24 @ #Dec. 219093
c NEW SOLUTION FOUND: -3950675 @ 386.56 @ #Dec. 219205
c NEW SOLUTION FOUND: -3950935 @ 386.68 @ #Dec. 219292
c NEW SOLUTION FOUND: -3950945 @ 386.69 @ #Dec. 219316
c NEW SOLUTION FOUND: -3950995 @ 386.81 @ #Dec. 219356
c NEW SOLUTION FOUND: -3951315 @ 387.11 @ #Dec. 219418
c NEW SOLUTION FOUND: -3951385 @ 387.19 @ #Dec. 219461
c NEW SOLUTION FOUND: -3951507 @ 387.62 @ #Dec. 219598
c NEW SOLUTION FOUND: -3951577 @ 387.71 @ #Dec. 219652
c NEW SOLUTION FOUND: -3951651 @ 388.88 @ #Dec. 219938
c NEW SOLUTION FOUND: -3951721 @ 388.95 @ #Dec. 219974
c NEW SOLUTION FOUND: -3951905 @ 391.66 @ #Dec. 220377
c NEW SOLUTION FOUND: -3951955 @ 391.78 @ #Dec. 220429
c NEW SOLUTION FOUND: -3951989 @ 392.6 @ #Dec. 220558
c NEW SOLUTION FOUND: -3952099 @ 392.64 @ #Dec. 220590
c NEW SOLUTION FOUND: -3952106 @ 393.54 @ #Dec. 220738
c NEW SOLUTION FOUND: -3952115 @ 393.58 @ #Dec. 220766
c NEW SOLUTION FOUND: -3952130 @ 393.61 @ #Dec. 220785
c NEW SOLUTION FOUND: -3952275 @ 393.68 @ #Dec. 220832
c NEW SOLUTION FOUND: -3952335 @ 393.76 @ #Dec. 220868
c NEW SOLUTION FOUND: -3952345 @ 393.79 @ #Dec. 220896
c NEW SOLUTION FOUND: -3952371 @ 394.41 @ #Dec. 221039
c NEW SOLUTION FOUND: -3952419 @ 394.49 @ #Dec. 221083
c NEW SOLUTION FOUND: -3952479 @ 394.61 @ #Dec. 221144
c NEW SOLUTION FOUND: -3952489 @ 394.63 @ #Dec. 221173
c NEW SOLUTION FOUND: -3953955 @ 396.93 @ #Dec. 221990
c NEW SOLUTION FOUND: -3954003 @ 397.02 @ #Dec. 222055
c NEW SOLUTION FOUND: -3954051 @ 397.02 @ #Dec. 222068
c NEW SOLUTION FOUND: -3954069 @ 397.2 @ #Dec. 222165
c NEW SOLUTION FOUND: -3954253 @ 397.2 @ #Dec. 222182
c NEW SOLUTION FOUND: -3954453 @ 404.59 @ #Dec. 223504
c NEW SOLUTION FOUND: -3954691 @ 409.48 @ #Dec. 224025
c NEW SOLUTION FOUND: -3954827 @ 412.19 @ #Dec. 224657
c NEW SOLUTION FOUND: -3954837 @ 412.2 @ #Dec. 224682
c NEW SOLUTION FOUND: -3955021 @ 412.22 @ #Dec. 224703
c NEW SOLUTION FOUND: -3955027 @ 412.38 @ #Dec. 224778
c NEW SOLUTION FOUND: -3955315 @ 412.46 @ #Dec. 224824
c NEW SOLUTION FOUND: -3955459 @ 413.9 @ #Dec. 225030
c NEW SOLUTION FOUND: -3955565 @ 415.35 @ #Dec. 225291
c NEW SOLUTION FOUND: -3955585 @ 415.54 @ #Dec. 225339
c NEW SOLUTION FOUND: -3955685 @ 415.7 @ #Dec. 225390
c NEW SOLUTION FOUND: -3955695 @ 415.7 @ #Dec. 225401
c NEW SOLUTION FOUND: -3955823 @ 415.95 @ #Dec. 225494
c NEW SOLUTION FOUND: -3955887 @ 416.06 @ #Dec. 225530
c NEW SOLUTION FOUND: -3955923 @ 416.07 @ #Dec. 225542
c NEW SOLUTION FOUND: -3955933 @ 416.07 @ #Dec. 225552
c NEW SOLUTION FOUND: -3956029 @ 416.3 @ #Dec. 225652
c NEW SOLUTION FOUND: -3956089 @ 416.4 @ #Dec. 225702
c NEW SOLUTION FOUND: -3956099 @ 416.41 @ #Dec. 225716
c NEW SOLUTION FOUND: -3956125 @ 416.55 @ #Dec. 225763
c NEW SOLUTION FOUND: -3956161 @ 416.56 @ #Dec. 225773
c NEW SOLUTION FOUND: -3956171 @ 416.56 @ #Dec. 225781
c NEW SOLUTION FOUND: -3956993 @ 418.42 @ #Dec. 226055
c NEW SOLUTION FOUND: -3957469 @ 418.86 @ #Dec. 226116
c NEW SOLUTION FOUND: -3957527 @ 419.44 @ #Dec. 226218
c NEW SOLUTION FOUND: -3957553 @ 419.62 @ #Dec. 226265
c NEW SOLUTION FOUND: -3957599 @ 419.63 @ #Dec. 226275
c NEW SOLUTION FOUND: -3957933 @ 419.78 @ #Dec. 226310
c NEW SOLUTION FOUND: -3957993 @ 419.9 @ #Dec. 226357
c NEW SOLUTION FOUND: -3958003 @ 419.91 @ #Dec. 226371
c NEW SOLUTION FOUND: -3958065 @ 420.06 @ #Dec. 226411
c NEW SOLUTION FOUND: -3958075 @ 420.06 @ #Dec. 226420
c NEW SOLUTION FOUND: -3958409 @ 422.51 @ #Dec. 226857
c NEW SOLUTION FOUND: -3958449 @ 422.62 @ #Dec. 226899
c NEW SOLUTION FOUND: -3958479 @ 422.62 @ #Dec. 226913
c NEW SOLUTION FOUND: -3958541 @ 422.76 @ #Dec. 226953
c NEW SOLUTION FOUND: -3958551 @ 422.76 @ #Dec. 226962
c NEW SOLUTION FOUND: -3958647 @ 423.1 @ #Dec. 227078
c NEW SOLUTION FOUND: -3958687 @ 423.2 @ #Dec. 227119
c NEW SOLUTION FOUND: -3958717 @ 423.2 @ #Dec. 227133
c NEW SOLUTION FOUND: -3958779 @ 423.34 @ #Dec. 227178
c NEW SOLUTION FOUND: -3958789 @ 423.34 @ #Dec. 227189
c NEW SOLUTION FOUND: -3958885 @ 423.54 @ #Dec. 227246
c NEW SOLUTION FOUND: -3958925 @ 423.64 @ #Dec. 227286
c NEW SOLUTION FOUND: -3958955 @ 423.64 @ #Dec. 227300
c NEW SOLUTION FOUND: -3959017 @ 423.77 @ #Dec. 227338
c NEW SOLUTION FOUND: -3959027 @ 423.77 @ #Dec. 227347
c NEW SOLUTION FOUND: -3959357 @ 425.16 @ #Dec. 227517
c NEW SOLUTION FOUND: -3959373 @ 425.2 @ #Dec. 227534
c NEW SOLUTION FOUND: -3959401 @ 425.66 @ #Dec. 227649
c NEW SOLUTION FOUND: -3959431 @ 425.66 @ #Dec. 227663
c NEW SOLUTION FOUND: -3959493 @ 425.79 @ #Dec. 227701
c NEW SOLUTION FOUND: -3959503 @ 425.8 @ #Dec. 227710
c NEW SOLUTION FOUND: -3959837 @ 426.1 @ #Dec. 227771
c NEW SOLUTION FOUND: -3959877 @ 426.2 @ #Dec. 227810
c NEW SOLUTION FOUND: -3959907 @ 426.21 @ #Dec. 227824
c NEW SOLUTION FOUND: -3959969 @ 426.38 @ #Dec. 227865
c NEW SOLUTION FOUND: -3959979 @ 426.38 @ #Dec. 227874
c NEW SOLUTION FOUND: -3961161 @ 427.72 @ #Dec. 228102
c NEW SOLUTION FOUND: -3961191 @ 427.73 @ #Dec. 228120
c NEW SOLUTION FOUND: -3961361 @ 427.87 @ #Dec. 228221
c NEW SOLUTION FOUND: -3961681 @ 427.99 @ #Dec. 228264
c NEW SOLUTION FOUND: -3961837 @ 428.3 @ #Dec. 228384
c NEW SOLUTION FOUND: -3962157 @ 428.57 @ #Dec. 228491
c NEW SOLUTION FOUND: -3962162 @ 429.5 @ #Dec. 228690
c NEW SOLUTION FOUND: -3962277 @ 429.53 @ #Dec. 228722
c NEW SOLUTION FOUND: -3962307 @ 429.54 @ #Dec. 228735
c NEW SOLUTION FOUND: -3962322 @ 429.54 @ #Dec. 228746
c NEW SOLUTION FOUND: -3962332 @ 429.56 @ #Dec. 228772
c NEW SOLUTION FOUND: -3962437 @ 429.67 @ #Dec. 228810
c NEW SOLUTION FOUND: -3962477 @ 429.71 @ #Dec. 228834
c NEW SOLUTION FOUND: -3962547 @ 429.72 @ #Dec. 228852
c NEW SOLUTION FOUND: -3963209 @ 430.28 @ #Dec. 228942
c NEW SOLUTION FOUND: -3963239 @ 430.29 @ #Dec. 228960
c NEW SOLUTION FOUND: -3963785 @ 430.31 @ #Dec. 228979
c NEW SOLUTION FOUND: -3963839 @ 430.31 @ #Dec. 228993
c NEW SOLUTION FOUND: -3964501 @ 430.76 @ #Dec. 229079
c NEW SOLUTION FOUND: -3964509 @ 430.76 @ #Dec. 229089
c NEW SOLUTION FOUND: -3964527 @ 430.76 @ #Dec. 229101
c NEW SOLUTION FOUND: -3964561 @ 431 @ #Dec. 229154
c NEW SOLUTION FOUND: -3964609 @ 431 @ #Dec. 229169
c NEW SOLUTION FOUND: -3964831 @ 431.67 @ #Dec. 229269
c NEW SOLUTION FOUND: -3964847 @ 431.67 @ #Dec. 229285
c NEW SOLUTION FOUND: -3965069 @ 432.17 @ #Dec. 229355
c NEW SOLUTION FOUND: -3965085 @ 432.17 @ #Dec. 229371
c NEW SOLUTION FOUND: -3965375 @ 432.44 @ #Dec. 229409
c NEW SOLUTION FOUND: -3965525 @ 432.44 @ #Dec. 229414
c NEW SOLUTION FOUND: -3965540 @ 432.44 @ #Dec. 229416
c NEW SOLUTION FOUND: -3965549 @ 432.62 @ #Dec. 229512
c NEW SOLUTION FOUND: -3965619 @ 432.62 @ #Dec. 229527
c NEW SOLUTION FOUND: -3965691 @ 432.72 @ #Dec. 229553
c NEW SOLUTION FOUND: -3965985 @ 434.49 @ #Dec. 229781
c NEW SOLUTION FOUND: -3966025 @ 434.51 @ #Dec. 229800
c NEW SOLUTION FOUND: -3966065 @ 434.57 @ #Dec. 229827
c NEW SOLUTION FOUND: -3966095 @ 434.57 @ #Dec. 229842
c NEW SOLUTION FOUND: -3966157 @ 434.7 @ #Dec. 229899
c NEW SOLUTION FOUND: -3966167 @ 434.71 @ #Dec. 229908
c NEW SOLUTION FOUND: -3966223 @ 435.18 @ #Dec. 229980
c NEW SOLUTION FOUND: -3966263 @ 435.19 @ #Dec. 229997
c NEW SOLUTION FOUND: -3966333 @ 435.29 @ #Dec. 230043
c NEW SOLUTION FOUND: -3966359 @ 435.41 @ #Dec. 230096
c NEW SOLUTION FOUND: -3966405 @ 435.42 @ #Dec. 230107
c NEW SOLUTION FOUND: -3966501 @ 435.82 @ #Dec. 230184
c NEW SOLUTION FOUND: -3966561 @ 435.93 @ #Dec. 230231
c NEW SOLUTION FOUND: -3966571 @ 435.93 @ #Dec. 230245
c NEW SOLUTION FOUND: -3966633 @ 436.05 @ #Dec. 230286
c NEW SOLUTION FOUND: -3966643 @ 436.05 @ #Dec. 230295
c NEW SOLUTION FOUND: -3966977 @ 437.2 @ #Dec. 230526
c NEW SOLUTION FOUND: -3967017 @ 437.3 @ #Dec. 230571
c NEW SOLUTION FOUND: -3967047 @ 437.3 @ #Dec. 230585
c NEW SOLUTION FOUND: -3967109 @ 437.42 @ #Dec. 230622
c NEW SOLUTION FOUND: -3967119 @ 437.43 @ #Dec. 230631
c NEW SOLUTION FOUND: -3967215 @ 437.77 @ #Dec. 230698
c NEW SOLUTION FOUND: -3967255 @ 437.87 @ #Dec. 230740
c NEW SOLUTION FOUND: -3967285 @ 437.87 @ #Dec. 230754
c NEW SOLUTION FOUND: -3967347 @ 438.08 @ #Dec. 230804
c NEW SOLUTION FOUND: -3967357 @ 438.09 @ #Dec. 230815
c NEW SOLUTION FOUND: -3967453 @ 438.48 @ #Dec. 230884
c NEW SOLUTION FOUND: -3967493 @ 438.58 @ #Dec. 230923
c NEW SOLUTION FOUND: -3967523 @ 438.58 @ #Dec. 230937
c NEW SOLUTION FOUND: -3967585 @ 438.77 @ #Dec. 230978
c NEW SOLUTION FOUND: -3967595 @ 438.78 @ #Dec. 230987
c NEW SOLUTION FOUND: -3967647 @ 439.59 @ #Dec. 231156
c NEW SOLUTION FOUND: -3968369 @ 439.86 @ #Dec. 231205
c NEW SOLUTION FOUND: -3968417 @ 439.89 @ #Dec. 231221
c NEW SOLUTION FOUND: -3968881 @ 440.1 @ #Dec. 231280
c NEW SOLUTION FOUND: -3968921 @ 440.19 @ #Dec. 231321
c NEW SOLUTION FOUND: -3968941 @ 440.19 @ #Dec. 231335
c NEW SOLUTION FOUND: -3968951 @ 440.2 @ #Dec. 231348
c NEW SOLUTION FOUND: -3968977 @ 440.39 @ #Dec. 231395
c NEW SOLUTION FOUND: -3969023 @ 440.4 @ #Dec. 231405
c NEW SOLUTION FOUND: -3969119 @ 440.82 @ #Dec. 231498
c NEW SOLUTION FOUND: -3969179 @ 440.92 @ #Dec. 231538
c NEW SOLUTION FOUND: -3969189 @ 440.92 @ #Dec. 231554
c NEW SOLUTION FOUND: -3969261 @ 441.13 @ #Dec. 231609
c NEW SOLUTION FOUND: -3969357 @ 441.53 @ #Dec. 231704
c NEW SOLUTION FOUND: -3969397 @ 441.63 @ #Dec. 231745
c NEW SOLUTION FOUND: -3969427 @ 441.63 @ #Dec. 231759
c NEW SOLUTION FOUND: -3969445 @ 441.83 @ #Dec. 231808
c NEW SOLUTION FOUND: -3969453 @ 441.83 @ #Dec. 231816
c NEW SOLUTION FOUND: -3969499 @ 441.84 @ #Dec. 231825
c NEW SOLUTION FOUND: -3969833 @ 442.85 @ #Dec. 232013
c NEW SOLUTION FOUND: -3969893 @ 442.94 @ #Dec. 232053
c NEW SOLUTION FOUND: -3969903 @ 442.95 @ #Dec. 232067
c NEW SOLUTION FOUND: -3969965 @ 443.15 @ #Dec. 232113
c NEW SOLUTION FOUND: -3969975 @ 443.15 @ #Dec. 232122
c NEW SOLUTION FOUND: -3970071 @ 443.69 @ #Dec. 232225
c NEW SOLUTION FOUND: -3970141 @ 443.81 @ #Dec. 232278
c NEW SOLUTION FOUND: -3970143 @ 444.02 @ #Dec. 232338
c NEW SOLUTION FOUND: -3970159 @ 444.02 @ #Dec. 232346
c NEW SOLUTION FOUND: -3970167 @ 444.03 @ #Dec. 232353
c NEW SOLUTION FOUND: -3970213 @ 444.03 @ #Dec. 232363
c NEW SOLUTION FOUND: -3970309 @ 444.56 @ #Dec. 232461
c NEW SOLUTION FOUND: -3970369 @ 444.7 @ #Dec. 232517
c NEW SOLUTION FOUND: -3970379 @ 444.7 @ #Dec. 232531
c NEW SOLUTION FOUND: -3970441 @ 444.91 @ #Dec. 232577
c NEW SOLUTION FOUND: -3970451 @ 444.91 @ #Dec. 232586
c NEW SOLUTION FOUND: -3970785 @ 446.59 @ #Dec. 232860
c NEW SOLUTION FOUND: -3970845 @ 446.8 @ #Dec. 232928
c NEW SOLUTION FOUND: -3970855 @ 446.81 @ #Dec. 232942
c NEW SOLUTION FOUND: -3970917 @ 447.01 @ #Dec. 233001
c NEW SOLUTION FOUND: -3970927 @ 447.01 @ #Dec. 233010
c NEW SOLUTION FOUND: -3970959 @ 447.45 @ #Dec. 233085
c NEW SOLUTION FOUND: -3971023 @ 447.47 @ #Dec. 233102
c NEW SOLUTION FOUND: -3971083 @ 447.62 @ #Dec. 233165
c NEW SOLUTION FOUND: -3971093 @ 447.62 @ #Dec. 233179
c NEW SOLUTION FOUND: -3971155 @ 447.79 @ #Dec. 233240
c NEW SOLUTION FOUND: -3971165 @ 447.8 @ #Dec. 233250
c NEW SOLUTION FOUND: -3971261 @ 448.17 @ #Dec. 233327
c NEW SOLUTION FOUND: -3971321 @ 448.32 @ #Dec. 233384
c NEW SOLUTION FOUND: -3971331 @ 448.32 @ #Dec. 233398
c NEW SOLUTION FOUND: -3971393 @ 448.48 @ #Dec. 233439
c NEW SOLUTION FOUND: -3971403 @ 448.48 @ #Dec. 233448
c NEW SOLUTION FOUND: -3971437 @ 450.34 @ #Dec. 233796
c NEW SOLUTION FOUND: -3971455 @ 450.35 @ #Dec. 233812
c NEW SOLUTION FOUND: -3971765 @ 450.57 @ #Dec. 233845
c NEW SOLUTION FOUND: -3971795 @ 450.57 @ #Dec. 233849
c NEW SOLUTION FOUND: -3971810 @ 450.57 @ #Dec. 233851
c NEW SOLUTION FOUND: -3971813 @ 450.6 @ #Dec. 233872
c NEW SOLUTION FOUND: -3971828 @ 450.6 @ #Dec. 233875
c NEW SOLUTION FOUND: -3971892 @ 450.65 @ #Dec. 233897
c NEW SOLUTION FOUND: -3972051 @ 450.71 @ #Dec. 233930
c NEW SOLUTION FOUND: -3972225 @ 450.84 @ #Dec. 233964
c NEW SOLUTION FOUND: -3972515 @ 451.15 @ #Dec. 234011
c NEW SOLUTION FOUND: -3972680 @ 451.15 @ #Dec. 234015
c NEW SOLUTION FOUND: -3972721 @ 451.2 @ #Dec. 234039
c NEW SOLUTION FOUND: -3972821 @ 451.28 @ #Dec. 234066
c NEW SOLUTION FOUND: -3972831 @ 451.36 @ #Dec. 234091
c NEW SOLUTION FOUND: -3972991 @ 451.89 @ #Dec. 234200
c NEW SOLUTION FOUND: -3973141 @ 451.89 @ #Dec. 234205
c NEW SOLUTION FOUND: -3973156 @ 451.89 @ #Dec. 234207
c NEW SOLUTION FOUND: -3973197 @ 451.94 @ #Dec. 234231
c NEW SOLUTION FOUND: -3973297 @ 452 @ #Dec. 234256
c NEW SOLUTION FOUND: -3973307 @ 452 @ #Dec. 234267
c NEW SOLUTION FOUND: -3973415 @ 453.32 @ #Dec. 234545
c NEW SOLUTION FOUND: -3973461 @ 453.61 @ #Dec. 234596
c NEW SOLUTION FOUND: -3973541 @ 453.64 @ #Dec. 234614
c NEW SOLUTION FOUND: -3973653 @ 453.73 @ #Dec. 234639
c NEW SOLUTION FOUND: -3973673 @ 454.01 @ #Dec. 234698
c NEW SOLUTION FOUND: -3973773 @ 454.03 @ #Dec. 234712
c NEW SOLUTION FOUND: -3973783 @ 454.03 @ #Dec. 234724
c NEW SOLUTION FOUND: -3973943 @ 454.38 @ #Dec. 234838
c NEW SOLUTION FOUND: -3974063 @ 454.38 @ #Dec. 234844
c NEW SOLUTION FOUND: -3974108 @ 454.38 @ #Dec. 234847
c NEW SOLUTION FOUND: -3974149 @ 454.42 @ #Dec. 234866
c NEW SOLUTION FOUND: -3974249 @ 454.46 @ #Dec. 234889
c NEW SOLUTION FOUND: -3974259 @ 454.47 @ #Dec. 234900
c NEW SOLUTION FOUND: -3974303 @ 456.18 @ #Dec. 235236
c NEW SOLUTION FOUND: -3974431 @ 456.32 @ #Dec. 235278
c NEW SOLUTION FOUND: -3974523 @ 456.55 @ #Dec. 235336
c NEW SOLUTION FOUND: -3974605 @ 456.57 @ #Dec. 235352
c NEW SOLUTION FOUND: -3974625 @ 456.91 @ #Dec. 235407
c NEW SOLUTION FOUND: -3974735 @ 456.95 @ #Dec. 235438
c NEW SOLUTION FOUND: -3974777 @ 457.6 @ #Dec. 235583
c NEW SOLUTION FOUND: -3974807 @ 457.6 @ #Dec. 235587
c NEW SOLUTION FOUND: -3974822 @ 457.61 @ #Dec. 235589
c NEW SOLUTION FOUND: -3974863 @ 457.65 @ #Dec. 235608
c NEW SOLUTION FOUND: -3974973 @ 457.7 @ #Dec. 235639
c NEW SOLUTION FOUND: -3975015 @ 458.34 @ #Dec. 235782
c NEW SOLUTION FOUND: -3975060 @ 458.35 @ #Dec. 235785
c NEW SOLUTION FOUND: -3975101 @ 458.39 @ #Dec. 235805
c NEW SOLUTION FOUND: -3975211 @ 458.49 @ #Dec. 235863
c NEW SOLUTION FOUND: -3975295 @ 462.57 @ #Dec. 236695
c NEW SOLUTION FOUND: -3975375 @ 462.83 @ #Dec. 236765
c NEW SOLUTION FOUND: -3975435 @ 463.09 @ #Dec. 236822
c NEW SOLUTION FOUND: -3975485 @ 463.1 @ #Dec. 236838
c NEW SOLUTION FOUND: -3975567 @ 464.43 @ #Dec. 237098
c NEW SOLUTION FOUND: -3975627 @ 464.58 @ #Dec. 237174
c NEW SOLUTION FOUND: -3975637 @ 464.6 @ #Dec. 237193
c NEW SOLUTION FOUND: -3975805 @ 464.87 @ #Dec. 237263
c NEW SOLUTION FOUND: -3975865 @ 465.05 @ #Dec. 237337
c NEW SOLUTION FOUND: -3975875 @ 465.06 @ #Dec. 237356
c NEW SOLUTION FOUND: -3976737 @ 467.22 @ #Dec. 237969
c NEW SOLUTION FOUND: -3976827 @ 467.22 @ #Dec. 237983
c NEW SOLUTION FOUND: -3976842 @ 467.22 @ #Dec. 237993
c NEW SOLUTION FOUND: -3976929 @ 467.33 @ #Dec. 238020
c NEW SOLUTION FOUND: -3976989 @ 467.33 @ #Dec. 238033
c NEW SOLUTION FOUND: -3977019 @ 467.33 @ #Dec. 238042
c NEW SOLUTION FOUND: -3977034 @ 467.34 @ #Dec. 238049
c NEW SOLUTION FOUND: -3977208 @ 467.46 @ #Dec. 238105
c NEW SOLUTION FOUND: -3978217 @ 467.47 @ #Dec. 238116
c NEW SOLUTION FOUND: -3978232 @ 467.47 @ #Dec. 238122
c NEW SOLUTION FOUND: -3978368 @ 467.48 @ #Dec. 238134
c NEW SOLUTION FOUND: -3978377 @ 467.64 @ #Dec. 238192
c NEW SOLUTION FOUND: -3978409 @ 467.7 @ #Dec. 238227
c NEW SOLUTION FOUND: -3978437 @ 467.77 @ #Dec. 238253
c NEW SOLUTION FOUND: -3978447 @ 467.79 @ #Dec. 238276
c NEW SOLUTION FOUND: -3978519 @ 467.8 @ #Dec. 238289
c NEW SOLUTION FOUND: -3978627 @ 468.26 @ #Dec. 238436
c NEW SOLUTION FOUND: -3978659 @ 468.29 @ #Dec. 238457
c NEW SOLUTION FOUND: -3978697 @ 468.32 @ #Dec. 238481
c NEW SOLUTION FOUND: -3978769 @ 468.33 @ #Dec. 238494
c NEW SOLUTION FOUND: -3978781 @ 468.92 @ #Dec. 238674
c NEW SOLUTION FOUND: -3978909 @ 471.11 @ #Dec. 239100
c NEW SOLUTION FOUND: -3978947 @ 471.48 @ #Dec. 239190
c NEW SOLUTION FOUND: -3979019 @ 471.49 @ #Dec. 239199
c NEW SOLUTION FOUND: -3979063 @ 477.1 @ #Dec. 240112
c NEW SOLUTION FOUND: -3979365 @ 477.19 @ #Dec. 240145
c NEW SOLUTION FOUND: -3979603 @ 477.4 @ #Dec. 240200
c NEW SOLUTION FOUND: -3979623 @ 478.59 @ #Dec. 240386
c NEW SOLUTION FOUND: -3979861 @ 478.75 @ #Dec. 240469
c NEW SOLUTION FOUND: -3979889 @ 479.6 @ #Dec. 240728
c NEW SOLUTION FOUND: -3979899 @ 479.6 @ #Dec. 240742
c NEW SOLUTION FOUND: -3979961 @ 479.65 @ #Dec. 240755
c NEW SOLUTION FOUND: -3979971 @ 479.67 @ #Dec. 240766
c NEW SOLUTION FOUND: -3980067 @ 479.81 @ #Dec. 240819
c NEW SOLUTION FOUND: -3980099 @ 480.06 @ #Dec. 240916
c NEW SOLUTION FOUND: -3980127 @ 480.38 @ #Dec. 241049
c NEW SOLUTION FOUND: -3980137 @ 480.39 @ #Dec. 241066
c NEW SOLUTION FOUND: -3980199 @ 480.55 @ #Dec. 241128
c NEW SOLUTION FOUND: -3980209 @ 480.57 @ #Dec. 241143
c NEW SOLUTION FOUND: -3980225 @ 528.49 @ #Dec. 248373
c NEW SOLUTION FOUND: -3980337 @ 534.24 @ #Dec. 251271
c NEW SOLUTION FOUND: -3980493 @ 534.53 @ #Dec. 251416
c NEW SOLUTION FOUND: -3980511 @ 534.6 @ #Dec. 251461
c NEW SOLUTION FOUND: -3980797 @ 534.67 @ #Dec. 251492
c NEW SOLUTION FOUND: -3980813 @ 534.74 @ #Dec. 251511
c NEW SOLUTION FOUND: -3981499 @ 536.05 @ #Dec. 252774
c NEW SOLUTION FOUND: -3981515 @ 536.12 @ #Dec. 252794
c NEW SOLUTION FOUND: -3981573 @ 536.49 @ #Dec. 252863
c NEW SOLUTION FOUND: -3981593 @ 536.51 @ #Dec. 252882
c NEW SOLUTION FOUND: -3981603 @ 536.52 @ #Dec. 252895
c NEW SOLUTION FOUND: -3981667 @ 536.56 @ #Dec. 252916
c NEW SOLUTION FOUND: -3981683 @ 536.57 @ #Dec. 252928
c NEW SOLUTION FOUND: -3981749 @ 536.73 @ #Dec. 252963
c NEW SOLUTION FOUND: -3981765 @ 536.77 @ #Dec. 252981
c NEW SOLUTION FOUND: -3981811 @ 537.18 @ #Dec. 253217
c NEW SOLUTION FOUND: -3981891 @ 537.22 @ #Dec. 253237
c NEW SOLUTION FOUND: -3981987 @ 537.26 @ #Dec. 253266
c NEW SOLUTION FOUND: -3982003 @ 537.32 @ #Dec. 253305
c NEW SOLUTION FOUND: -3982009 @ 544.8 @ #Dec. 256881
c NEW SOLUTION FOUND: -3982109 @ 544.83 @ #Dec. 256893
c NEW SOLUTION FOUND: -3982419 @ 544.85 @ #Dec. 256913
c NEW SOLUTION FOUND: -3982459 @ 544.88 @ #Dec. 256928
c NEW SOLUTION FOUND: -3982489 @ 544.88 @ #Dec. 256941
c NEW SOLUTION FOUND: -3982551 @ 544.95 @ #Dec. 256972
c NEW SOLUTION FOUND: -3982553 @ 544.95 @ #Dec. 256990
c NEW SOLUTION FOUND: -3982561 @ 544.96 @ #Dec. 256999
c NEW SOLUTION FOUND: -3982563 @ 546.78 @ #Dec. 257282
c NEW SOLUTION FOUND: -3982609 @ 546.79 @ #Dec. 257303
c NEW SOLUTION FOUND: -3982693 @ 553.89 @ #Dec. 258838
c NEW SOLUTION FOUND: -3982803 @ 553.93 @ #Dec. 258862
c NEW SOLUTION FOUND: -3982835 @ 554.09 @ #Dec. 258947
c NEW SOLUTION FOUND: -3982873 @ 554.18 @ #Dec. 259019
c NEW SOLUTION FOUND: -3982899 @ 554.19 @ #Dec. 259045
c NEW SOLUTION FOUND: -3982945 @ 554.2 @ #Dec. 259067
c NEW SOLUTION FOUND: -3982959 @ 554.45 @ #Dec. 259209
c NEW SOLUTION FOUND: -3982969 @ 554.46 @ #Dec. 259249
c NEW SOLUTION FOUND: -3982995 @ 554.46 @ #Dec. 259274
c NEW SOLUTION FOUND: -3983031 @ 554.47 @ #Dec. 259299
c NEW SOLUTION FOUND: -3983041 @ 554.48 @ #Dec. 259319
c NEW SOLUTION FOUND: -3983075 @ 555.8 @ #Dec. 259679
c NEW SOLUTION FOUND: -3983185 @ 555.85 @ #Dec. 259718
c NEW SOLUTION FOUND: -4001015 @ 595.62 @ #Dec. 264350
c NEW SOLUTION FOUND: -4001079 @ 595.64 @ #Dec. 264398
c NEW SOLUTION FOUND: -4005274 @ 596.12 @ #Dec. 265102
c NEW SOLUTION FOUND: -4005284 @ 596.14 @ #Dec. 265118
c NEW SOLUTION FOUND: -4005314 @ 596.16 @ #Dec. 265137
c NEW SOLUTION FOUND: -4009127 @ 596.24 @ #Dec. 265222
c NEW SOLUTION FOUND: -4009154 @ 596.26 @ #Dec. 265244
c NEW SOLUTION FOUND: -4009257 @ 596.28 @ #Dec. 265265
c NEW SOLUTION FOUND: -4009287 @ 596.29 @ #Dec. 265279
c NEW SOLUTION FOUND: -4009314 @ 596.32 @ #Dec. 265316
c NEW SOLUTION FOUND: -4011287 @ 596.78 @ #Dec. 266248
c NEW SOLUTION FOUND: -4011314 @ 596.91 @ #Dec. 266431
c NEW SOLUTION FOUND: -4023279 @ 600.88 @ #Dec. 269177
c NEW SOLUTION FOUND: -4023339 @ 600.9 @ #Dec. 269198
c NEW SOLUTION FOUND: -4023469 @ 600.93 @ #Dec. 269216
c NEW SOLUTION FOUND: -4031531 @ 600.96 @ #Dec. 269242
c NEW SOLUTION FOUND: -4031661 @ 601.03 @ #Dec. 269270
c NEW SOLUTION FOUND: -4031691 @ 601.1 @ #Dec. 269300
c NEW SOLUTION FOUND: -4035181 @ 601.16 @ #Dec. 269329
c NEW SOLUTION FOUND: -4035191 @ 601.18 @ #Dec. 269346
c NEW SOLUTION FOUND: -4035561 @ 601.22 @ #Dec. 269371
c NEW SOLUTION FOUND: -4035691 @ 601.26 @ #Dec. 269393
c NEW SOLUTION FOUND: -4035715 @ 601.47 @ #Dec. 269479
c NEW SOLUTION FOUND: -4035855 @ 601.85 @ #Dec. 269637
c NEW SOLUTION FOUND: -4036355 @ 601.87 @ #Dec. 269656
c NEW SOLUTION FOUND: -4036435 @ 601.9 @ #Dec. 269680
c NEW SOLUTION FOUND: -4037075 @ 601.92 @ #Dec. 269703
c NEW SOLUTION FOUND: -4037205 @ 601.95 @ #Dec. 269729
c NEW SOLUTION FOUND: -4037315 @ 602.01 @ #Dec. 269765
c NEW SOLUTION FOUND: -4037345 @ 602.04 @ #Dec. 269787
c NEW SOLUTION FOUND: -4037445 @ 602.09 @ #Dec. 269815
c NEW SOLUTION FOUND: -4037475 @ 602.14 @ #Dec. 269841
c NEW SOLUTION FOUND: -4037507 @ 602.39 @ #Dec. 269968
c NEW SOLUTION FOUND: -4037537 @ 602.43 @ #Dec. 269990
c NEW SOLUTION FOUND: -4037637 @ 602.46 @ #Dec. 270013
c NEW SOLUTION FOUND: -4037667 @ 602.5 @ #Dec. 270034
c NEW SOLUTION FOUND: -4037685 @ 603.89 @ #Dec. 270508
c NEW SOLUTION FOUND: -4037715 @ 603.93 @ #Dec. 270529
c NEW SOLUTION FOUND: -4037739 @ 604.44 @ #Dec. 270782
c NEW SOLUTION FOUND: -4037760 @ 607.95 @ #Dec. 272626
c NEW SOLUTION FOUND: -4037771 @ 608.05 @ #Dec. 272702
c NEW SOLUTION FOUND: -4037781 @ 608.06 @ #Dec. 272715
c NEW SOLUTION FOUND: -4037798 @ 608.6 @ #Dec. 273073
c NEW SOLUTION FOUND: -4037808 @ 608.69 @ #Dec. 273166
c NEW SOLUTION FOUND: -4037835 @ 609.65 @ #Dec. 273618
c NEW SOLUTION FOUND: -4037840 @ 609.68 @ #Dec. 273640
c NEW SOLUTION FOUND: -4037850 @ 609.69 @ #Dec. 273655
c NEW SOLUTION FOUND: -4037894 @ 617.38 @ #Dec. 276210
c NEW SOLUTION FOUND: -4037904 @ 617.38 @ #Dec. 276216
c NEW SOLUTION FOUND: -4037921 @ 618.45 @ #Dec. 276570
c NEW SOLUTION FOUND: -4037931 @ 618.45 @ #Dec. 276583
c NEW SOLUTION FOUND: -4037936 @ 618.49 @ #Dec. 276622
c NEW SOLUTION FOUND: -4037946 @ 618.5 @ #Dec. 276639
c NEW SOLUTION FOUND: -4038000 @ 628.4 @ #Dec. 279827
c NEW SOLUTION FOUND: -4038069 @ 629 @ #Dec. 280297
c NEW SOLUTION FOUND: -4038111 @ 638.36 @ #Dec. 282178
c NEW SOLUTION FOUND: -4038138 @ 641.2 @ #Dec. 282908
c NEW SOLUTION FOUND: -4038180 @ 642.25 @ #Dec. 283952
c NEW SOLUTION FOUND: -4038207 @ 651.33 @ #Dec. 287264
c NEW SOLUTION FOUND: -4038222 @ 651.36 @ #Dec. 287274
c NEW SOLUTION FOUND: -4038224 @ 651.44 @ #Dec. 287359
c NEW SOLUTION FOUND: -4038234 @ 651.46 @ #Dec. 287378
c NEW SOLUTION FOUND: -4038251 @ 657.11 @ #Dec. 294830
c NEW SOLUTION FOUND: -4038261 @ 657.12 @ #Dec. 294846
c NEW SOLUTION FOUND: -4038266 @ 657.36 @ #Dec. 295929
c NEW SOLUTION FOUND: -4038276 @ 657.49 @ #Dec. 296962
c NEW SOLUTION FOUND: -4038324 @ 661.8 @ #Dec. 302978
c NEW SOLUTION FOUND: -4038330 @ 662.3 @ #Dec. 303840
c NEW SOLUTION FOUND: -4038362 @ 665.31 @ #Dec. 305052
c NEW SOLUTION FOUND: -4038372 @ 665.33 @ #Dec. 305104
c NEW SOLUTION FOUND: -4038399 @ 665.88 @ #Dec. 305404
c NEW SOLUTION FOUND: -4038441 @ 667.12 @ #Dec. 306519
c NEW SOLUTION FOUND: -4038468 @ 668.38 @ #Dec. 307558
c NEW SOLUTION FOUND: -4038483 @ 669.79 @ #Dec. 308292
c NEW SOLUTION FOUND: -4038495 @ 669.84 @ #Dec. 308358
c NEW SOLUTION FOUND: -4038537 @ 677.18 @ #Dec. 310808
c NEW SOLUTION FOUND: -4038591 @ 679.53 @ #Dec. 311516
c NEW SOLUTION FOUND: -4038660 @ 700.27 @ #Dec. 318395
c NEW SOLUTION FOUND: -4038702 @ 704.73 @ #Dec. 326799
c NEW SOLUTION FOUND: -4038706 @ 706.1 @ #Dec. 328579
c NEW SOLUTION FOUND: -4038756 @ 706.1 @ #Dec. 328594
c NEW SOLUTION FOUND: -4038771 @ 708.13 @ #Dec. 332547
c NEW SOLUTION FOUND: -4038788 @ 708.16 @ #Dec. 332574
c NEW SOLUTION FOUND: -4038798 @ 708.18 @ #Dec. 332592
c NEW SOLUTION FOUND: -4038867 @ 727.43 @ #Dec. 344051
c NEW SOLUTION FOUND: -4038885 @ 728.19 @ #Dec. 344588
c NEW SOLUTION FOUND: -4038889 @ 728.23 @ #Dec. 344623
c NEW SOLUTION FOUND: -4038897 @ 728.25 @ #Dec. 344644
c NEW SOLUTION FOUND: -4038911 @ 728.4 @ #Dec. 344782
c NEW SOLUTION FOUND: -4038921 @ 728.45 @ #Dec. 344840
c NEW SOLUTION FOUND: -4038945 @ 732.39 @ #Dec. 346547
c NEW SOLUTION FOUND: -4038953 @ 732.46 @ #Dec. 346879
c NEW SOLUTION FOUND: -4038963 @ 732.7 @ #Dec. 347585
c NEW SOLUTION FOUND: -4039005 @ 734.2 @ #Dec. 349943
c NEW SOLUTION FOUND: -4039040 @ 736.51 @ #Dec. 350826
c NEW SOLUTION FOUND: -4039155 @ 736.59 @ #Dec. 350891
c NEW SOLUTION FOUND: -4039170 @ 736.62 @ #Dec. 350908
c Restart #34 #Var: 588 #Dec: 358829 LB: -16515027 @ 746.22
c Restart #35 #Var: 588 #Dec: 375839 LB: -16515027 @ 800.72
c Restart #36 #Var: 588 #Dec: 383113 LB: -16515027 @ 806.45
c Restart #37 #Var: 588 #Dec: 402348 LB: -16515027 @ 882.52
c CHANGE to MIS mode... 	UB: -4039170	MIS: -16515027	LPR: -2147483648 (0)	Diff: 0.0076904
c Restart #0 #Var: 588 #Dec: 411775 LB: -16515027 @ 974.96
c Restart #1 #Var: 588 #Dec: 412032 LB: -16515027 @ 975.73
c Restart #2 #Var: 588 #Dec: 412483 LB: -16515027 @ 977.75
c Restart #3 #Var: 588 #Dec: 414086 LB: -16515027 @ 979.25
c Restart #4 #Var: 588 #Dec: 418457 LB: -16515027 @ 986.64
c Restart #5 #Var: 588 #Dec: 421174 LB: -16515027 @ 994.03
c Restart #6 #Var: 587 #Dec: 424146 LB: -16515027 @ 1003.6
c Restart #7 #Var: 587 #Dec: 427718 LB: -16515027 @ 1018.8
c Restart #8 #Var: 587 #Dec: 430067 LB: -16515027 @ 1047.8
c NEW SOLUTION FOUND: -4098418 @ 1060.8 @ #Dec. 433869
c NEW SOLUTION FOUND: -4098546 @ 1060.8 @ #Dec. 433872
c NEW SOLUTION FOUND: -4098610 @ 1060.8 @ #Dec. 433877
c NEW SOLUTION FOUND: -4098626 @ 1060.8 @ #Dec. 433880
c NEW SOLUTION FOUND: -4098634 @ 1060.8 @ #Dec. 433881
c NEW SOLUTION FOUND: -4098650 @ 1060.8 @ #Dec. 433885
c NEW SOLUTION FOUND: -4098666 @ 1060.8 @ #Dec. 433888
c NEW SOLUTION FOUND: -4098714 @ 1060.8 @ #Dec. 433895
c NEW SOLUTION FOUND: -4098774 @ 1060.8 @ #Dec. 433898
c NEW SOLUTION FOUND: -4098794 @ 1060.8 @ #Dec. 433900
c NEW SOLUTION FOUND: -4098902 @ 1060.8 @ #Dec. 433906
c NEW SOLUTION FOUND: -4098922 @ 1060.8 @ #Dec. 433911
c NEW SOLUTION FOUND: -4098962 @ 1060.8 @ #Dec. 433919
c NEW SOLUTION FOUND: -4098972 @ 1060.8 @ #Dec. 433928
c NEW SOLUTION FOUND: -4099032 @ 1060.9 @ #Dec. 433940
c NEW SOLUTION FOUND: -4099884 @ 1061 @ #Dec. 433993
c NEW SOLUTION FOUND: -4100012 @ 1061 @ #Dec. 434014
c NEW SOLUTION FOUND: -4100032 @ 1061 @ #Dec. 434043
c NEW SOLUTION FOUND: -4100988 @ 1061.5 @ #Dec. 434257
c NEW SOLUTION FOUND: -4102012 @ 1061.6 @ #Dec. 434277
c NEW SOLUTION FOUND: -4102502 @ 1061.6 @ #Dec. 434299
c NEW SOLUTION FOUND: -4102972 @ 1061.6 @ #Dec. 434336
c NEW SOLUTION FOUND: -4102992 @ 1061.6 @ #Dec. 434351
c NEW SOLUTION FOUND: -4103002 @ 1061.6 @ #Dec. 434363
c NEW SOLUTION FOUND: -4103932 @ 1061.7 @ #Dec. 434385
c NEW SOLUTION FOUND: -4104012 @ 1061.7 @ #Dec. 434404
c NEW SOLUTION FOUND: -4104032 @ 1061.7 @ #Dec. 434418
c NEW SOLUTION FOUND: -4105212 @ 1061.8 @ #Dec. 434449
c NEW SOLUTION FOUND: -4105532 @ 1061.8 @ #Dec. 434468
c NEW SOLUTION FOUND: -4105992 @ 1062 @ #Dec. 434663
c NEW SOLUTION FOUND: -4106002 @ 1062 @ #Dec. 434676
c NEW SOLUTION FOUND: -4107032 @ 1062.1 @ #Dec. 434694
c NEW SOLUTION FOUND: -4107132 @ 1062.2 @ #Dec. 434799
c NEW SOLUTION FOUND: -4107772 @ 1062.3 @ #Dec. 434844
c NEW SOLUTION FOUND: -4108012 @ 1062.3 @ #Dec. 434876
c NEW SOLUTION FOUND: -4108032 @ 1062.3 @ #Dec. 434889
c NEW SOLUTION FOUND: -4108123 @ 1065.5 @ #Dec. 435621
c NEW SOLUTION FOUND: -4108143 @ 1065.6 @ #Dec. 435658
c NEW SOLUTION FOUND: -4108185 @ 1067.6 @ #Dec. 436076
c NEW SOLUTION FOUND: -4108193 @ 1067.7 @ #Dec. 436124
c NEW SOLUTION FOUND: -4108293 @ 1067.7 @ #Dec. 436147
c NEW SOLUTION FOUND: -4108308 @ 1067.8 @ #Dec. 436184
c NEW SOLUTION FOUND: -4108335 @ 1068 @ #Dec. 436285
c NEW SOLUTION FOUND: -4108489 @ 1069 @ #Dec. 436668
c NEW SOLUTION FOUND: -4108739 @ 1069.1 @ #Dec. 436701
c NEW SOLUTION FOUND: -4109713 @ 1070.4 @ #Dec. 437220
c NEW SOLUTION FOUND: -4109963 @ 1070.4 @ #Dec. 437239
c NEW SOLUTION FOUND: -4110271 @ 1071 @ #Dec. 437526
c NEW SOLUTION FOUND: -4110298 @ 1071.1 @ #Dec. 437635
c NEW SOLUTION FOUND: -4110340 @ 1071.7 @ #Dec. 438032
c NEW SOLUTION FOUND: -4110367 @ 1073.5 @ #Dec. 439975
c NEW SOLUTION FOUND: -4110394 @ 1073.9 @ #Dec. 440185
c NEW SOLUTION FOUND: -4110396 @ 1075.4 @ #Dec. 441032
c NEW SOLUTION FOUND: -4110424 @ 1075.5 @ #Dec. 441070
c NEW SOLUTION FOUND: -4110436 @ 1075.6 @ #Dec. 441110
c NEW SOLUTION FOUND: -4110463 @ 1075.8 @ #Dec. 441255
c NEW SOLUTION FOUND: -4110478 @ 1095.4 @ #Dec. 443566
c NEW SOLUTION FOUND: -4110492 @ 1096.2 @ #Dec. 443736
c NEW SOLUTION FOUND: -4110532 @ 1096.3 @ #Dec. 443772
c NEW SOLUTION FOUND: -4110589 @ 1097.2 @ #Dec. 443959
c NEW SOLUTION FOUND: -4110601 @ 1097.2 @ #Dec. 443992
c NEW SOLUTION FOUND: -4110623 @ 1117.3 @ #Dec. 446919
c NEW SOLUTION FOUND: -4110635 @ 1117.3 @ #Dec. 447022
c NEW SOLUTION FOUND: -4110836 @ 1118.1 @ #Dec. 447493
c NEW SOLUTION FOUND: -4110916 @ 1118.2 @ #Dec. 447519
c NEW SOLUTION FOUND: -4111006 @ 1118.2 @ #Dec. 447552
c NEW SOLUTION FOUND: -4111018 @ 1118.6 @ #Dec. 447684
c NEW SOLUTION FOUND: -4111045 @ 1119.1 @ #Dec. 447872
c NEW SOLUTION FOUND: -4111317 @ 1126.3 @ #Dec. 449381
c NEW SOLUTION FOUND: -4111349 @ 1126.4 @ #Dec. 449411
c NEW SOLUTION FOUND: -4111373 @ 1126.4 @ #Dec. 449475
c NEW SOLUTION FOUND: -4111795 @ 1126.6 @ #Dec. 449609
c NEW SOLUTION FOUND: -4113295 @ 1126.6 @ #Dec. 449615
c NEW SOLUTION FOUND: -4113343 @ 1126.6 @ #Dec. 449645
c NEW SOLUTION FOUND: -4113359 @ 1126.7 @ #Dec. 449701
c NEW SOLUTION FOUND: -4113419 @ 1126.7 @ #Dec. 449778
c NEW SOLUTION FOUND: -4113451 @ 1126.8 @ #Dec. 449866
c NEW SOLUTION FOUND: -4113459 @ 1126.8 @ #Dec. 449880
c NEW SOLUTION FOUND: -4113505 @ 1126.9 @ #Dec. 449947
c NEW SOLUTION FOUND: -4113545 @ 1127 @ #Dec. 449999
c NEW SOLUTION FOUND: -4113553 @ 1127.4 @ #Dec. 450190
c NEW SOLUTION FOUND: -4113571 @ 1128.3 @ #Dec. 450790
c NEW SOLUTION FOUND: -4113579 @ 1128.8 @ #Dec. 451003
c NEW SOLUTION FOUND: -4113608 @ 1129.8 @ #Dec. 451495
c NEW SOLUTION FOUND: -4113623 @ 1129.8 @ #Dec. 451524
c NEW SOLUTION FOUND: -4113635 @ 1129.9 @ #Dec. 451551
c NEW SOLUTION FOUND: -4114153 @ 1130.1 @ #Dec. 451613
c NEW SOLUTION FOUND: -4114403 @ 1130.1 @ #Dec. 451620
c NEW SOLUTION FOUND: -4114491 @ 1130.1 @ #Dec. 451642
c NEW SOLUTION FOUND: -4114764 @ 1131.2 @ #Dec. 452215
c NEW SOLUTION FOUND: -4114796 @ 1131.2 @ #Dec. 452250
c NEW SOLUTION FOUND: -4114836 @ 1132 @ #Dec. 453096
c NEW SOLUTION FOUND: -4114868 @ 1132 @ #Dec. 453116
c NEW SOLUTION FOUND: -4114904 @ 1132.3 @ #Dec. 453470
c NEW SOLUTION FOUND: -4114922 @ 1132.4 @ #Dec. 453494
c NEW SOLUTION FOUND: -4114938 @ 1136.3 @ #Dec. 454848
c NEW SOLUTION FOUND: -4114946 @ 1136.4 @ #Dec. 454872
c NEW SOLUTION FOUND: -4115074 @ 1136.4 @ #Dec. 454894
c NEW SOLUTION FOUND: -4115132 @ 1136.9 @ #Dec. 455370
c NEW SOLUTION FOUND: -4115266 @ 1137.2 @ #Dec. 455692
c NEW SOLUTION FOUND: -4115276 @ 1137.2 @ #Dec. 455704
c NEW SOLUTION FOUND: -4115319 @ 1137.6 @ #Dec. 456229
c NEW SOLUTION FOUND: -4115329 @ 1137.7 @ #Dec. 456249
c NEW SOLUTION FOUND: -4115335 @ 1137.8 @ #Dec. 456382
c NEW SOLUTION FOUND: -4115345 @ 1137.8 @ #Dec. 456412
c NEW SOLUTION FOUND: -4115527 @ 1142.9 @ #Dec. 458325
c NEW SOLUTION FOUND: -4115537 @ 1143 @ #Dec. 458356
c NEW SOLUTION FOUND: -4115540 @ 1143.6 @ #Dec. 459032
c NEW SOLUTION FOUND: -4115548 @ 1144.4 @ #Dec. 459438
c NEW SOLUTION FOUND: -4115554 @ 1145.3 @ #Dec. 460416
c NEW SOLUTION FOUND: -4115564 @ 1145.4 @ #Dec. 460685
c NEW SOLUTION FOUND: -4116313 @ 1157.3 @ #Dec. 463775
c NEW SOLUTION FOUND: -4116325 @ 1157.5 @ #Dec. 463941
c NEW SOLUTION FOUND: -4116421 @ 1160.6 @ #Dec. 465941
c NEW SOLUTION FOUND: -4116467 @ 1167.2 @ #Dec. 467284
c NEW SOLUTION FOUND: -4116811 @ 1167.9 @ #Dec. 468583
c NEW SOLUTION FOUND: -4116823 @ 1168 @ #Dec. 468857
c NEW SOLUTION FOUND: -4116835 @ 1168.2 @ #Dec. 469064
c NEW SOLUTION FOUND: -4116847 @ 1168.3 @ #Dec. 469269
c NEW SOLUTION FOUND: -4117057 @ 1169.8 @ #Dec. 471081
c NEW SOLUTION FOUND: -4117067 @ 1169.8 @ #Dec. 471086
c NEW SOLUTION FOUND: -4117083 @ 1169.8 @ #Dec. 471097
c NEW SOLUTION FOUND: -4117091 @ 1169.8 @ #Dec. 471106
c NEW SOLUTION FOUND: -4117219 @ 1169.9 @ #Dec. 471121
c NEW SOLUTION FOUND: -4117223 @ 1170 @ #Dec. 471175
c NEW SOLUTION FOUND: -4117235 @ 1170.3 @ #Dec. 471552
c NEW SOLUTION FOUND: -4117247 @ 1170.3 @ #Dec. 471564
c NEW SOLUTION FOUND: -4117555 @ 1172.1 @ #Dec. 473287
c NEW SOLUTION FOUND: -4117805 @ 1172.1 @ #Dec. 473291
c NEW SOLUTION FOUND: -4117820 @ 1172.1 @ #Dec. 473306
c NEW SOLUTION FOUND: -4117835 @ 1172.1 @ #Dec. 473320
c NEW SOLUTION FOUND: -4117847 @ 1172.1 @ #Dec. 473334
c NEW SOLUTION FOUND: -4117996 @ 1172.7 @ #Dec. 473726
c NEW SOLUTION FOUND: -4118011 @ 1172.8 @ #Dec. 473767
c NEW SOLUTION FOUND: -4118038 @ 1172.8 @ #Dec. 473869
c NEW SOLUTION FOUND: -4118118 @ 1172.9 @ #Dec. 473963
c NEW SOLUTION FOUND: -4118347 @ 1173.2 @ #Dec. 474143
c NEW SOLUTION FOUND: -4118743 @ 1173.4 @ #Dec. 474321
c NEW SOLUTION FOUND: -4118807 @ 1173.4 @ #Dec. 474334
c NEW SOLUTION FOUND: -4118823 @ 1173.5 @ #Dec. 474367
c NEW SOLUTION FOUND: -4119260 @ 1173.7 @ #Dec. 474564
c NEW SOLUTION FOUND: -4119270 @ 1173.7 @ #Dec. 474578
c NEW SOLUTION FOUND: -4119286 @ 1173.8 @ #Dec. 474602
c NEW SOLUTION FOUND: -4119515 @ 1174.8 @ #Dec. 475177
c NEW SOLUTION FOUND: -4119542 @ 1174.9 @ #Dec. 475291
c NEW SOLUTION FOUND: -4119687 @ 1175.6 @ #Dec. 476139
c NEW SOLUTION FOUND: -4119937 @ 1175.6 @ #Dec. 476195
c NEW SOLUTION FOUND: -4119953 @ 1176 @ #Dec. 476553
c NEW SOLUTION FOUND: -4119965 @ 1176.1 @ #Dec. 476740
c NEW SOLUTION FOUND: -4119991 @ 1177 @ #Dec. 477273
c NEW SOLUTION FOUND: -4120011 @ 1177.3 @ #Dec. 477610
c NEW SOLUTION FOUND: -4120019 @ 1177.6 @ #Dec. 478192
c NEW SOLUTION FOUND: -4120033 @ 1180.2 @ #Dec. 479136
c NEW SOLUTION FOUND: -4120061 @ 1180.3 @ #Dec. 479174
c NEW SOLUTION FOUND: -4120115 @ 1181.9 @ #Dec. 479775
c NEW SOLUTION FOUND: -4120130 @ 1182 @ #Dec. 479806
c NEW SOLUTION FOUND: -4120408 @ 1182.9 @ #Dec. 480213
c NEW SOLUTION FOUND: -4120442 @ 1184.1 @ #Dec. 481132
c NEW SOLUTION FOUND: -4120450 @ 1184.1 @ #Dec. 481206
c NEW SOLUTION FOUND: -4120492 @ 1185 @ #Dec. 481860
c NEW SOLUTION FOUND: -4120509 @ 1185.7 @ #Dec. 482374
c NEW SOLUTION FOUND: -4120573 @ 1185.8 @ #Dec. 482500
c NEW SOLUTION FOUND: -4120587 @ 1186.5 @ #Dec. 482913
c NEW SOLUTION FOUND: -4120603 @ 1186.6 @ #Dec. 483014
c NEW SOLUTION FOUND: -4120611 @ 1186.7 @ #Dec. 483097
c NEW SOLUTION FOUND: -4120651 @ 1187.2 @ #Dec. 483689
c NEW SOLUTION FOUND: -4120675 @ 1187.6 @ #Dec. 484185
c NEW SOLUTION FOUND: -4120825 @ 1194.9 @ #Dec. 487584
c NEW SOLUTION FOUND: -4120833 @ 1195 @ #Dec. 487628
s SATISFIABLE
v -X02_bit_10 X02_bit_9 X02_bit_8 X02_bit_7 X02_bit_6 -X02_bit_5 X02_bit_4 -X02_bit_3 -X02_bit_2 -X02_bit_1 -X02_bit0 -X02_bit1 X02_bit2 -X02_bit3 X02_bit4 X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 -X02_bit13 -X02_bit14 -X02_bit15 -X02_bit16 -X02_bit17 -X02_bit18 -X02_bit19 X14_bit_10 X14_bit_9 -X14_bit_8 -X14_bit_7 X14_bit_6 -X14_bit_5 X14_bit_4 X14_bit_3 -X14_bit_2 -X14_bit_1 X14_bit0 -X14_bit1 X14_bit2 -X14_bit3 -X14_bit4 X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 X23_bit_10 X23_bit_9 X23_bit_8 X23_bit_7 X23_bit_6 X23_bit_5 X23_bit_4 X23_bit_3 X23_bit_2 X23_bit_1 X23_bit0 X23_bit1 X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 X36_bit_10 -X36_bit_9 -X36_bit_8 -X36_bit_7 X36_bit_6 -X36_bit_5 -X36_bit_4 X36_bit_3 -X36_bit_2 -X36_bit_1 X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 X36_bit5 X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit13 -X36_bit14 -X36_bit15 -X36_bit16 -X36_bit17 -X36_bit18 -X36_bit19 -X39_bit_10 -X39_bit_9 -X39_bit_8 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit13 -X39_bit14 -X39_bit15 -X39_bit16 -X39_bit17 -X39_bit18 -X39_bit19 -X01_bit_10 -X01_bit_9 X01_bit_8 X01_bit_7 -X01_bit_6 X01_bit_5 X01_bit_4 X01_bit_3 X01_bit_2 X01_bit_1 X01_bit0 X01_bit1 X01_bit2 X01_bit3 -X01_bit4 -X01_bit5 X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 -X01_bit13 -X01_bit14 -X01_bit15 -X01_bit16 -X01_bit17 -X01_bit18 -X01_bit19 -X03_bit_10 X03_bit_9 X03_bit_8 X03_bit_7 -X03_bit_6 -X03_bit_5 -X03_bit_4 X03_bit_3 X03_bit_2 X03_bit_1 X03_bit0 X03_bit1 -X03_bit2 X03_bit3 X03_bit4 -X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X03_bit13 -X03_bit14 -X03_bit15 -X03_bit16 -X03_bit17 -X03_bit18 -X03_bit19 -X04_bit_10 X04_bit_9 X04_bit_8 X04_bit_7 X04_bit_6 -X04_bit_5 -X04_bit_4 -X04_bit_3 X04_bit_2 X04_bit_1 -X04_bit0 -X04_bit1 X04_bit2 -X04_bit3 X04_bit4 -X04_bit5 X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 -X04_bit13 -X04_bit14 -X04_bit15 -X04_bit16 -X04_bit17 -X04_bit18 -X04_bit19 X06_bit_10 X06_bit_9 -X06_bit_8 X06_bit_7 X06_bit_6 -X06_bit_5 -X06_bit_4 -X06_bit_3 X06_bit_2 -X06_bit_1 X06_bit0 -X06_bit1 -X06_bit2 -X06_bit3 -X06_bit4 -X06_bit5 X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12 -X06_bit13 -X06_bit14 -X06_bit15 -X06_bit16 -X06_bit17 -X06_bit18 -X06_bit19 X07_bit_10 -X07_bit_9 -X07_bit_8 -X07_bit_7 -X07_bit_6 -X07_bit_5 -X07_bit_4 -X07_bit_3 -X07_bit_2 -X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12 -X07_bit13 -X07_bit14 -X07_bit15 -X07_bit16 -X07_bit17 -X07_bit18 -X07_bit19 X08_bit_10 X08_bit_9 X08_bit_8 -X08_bit_7 -X08_bit_6 -X08_bit_5 -X08_bit_4 -X08_bit_3 -X08_bit_2 -X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 X08_bit3 -X08_bit4 -X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12 -X08_bit13 -X08_bit14 -X08_bit15 -X08_bit16 -X08_bit17 -X08_bit18 -X08_bit19 -X09_bit_10 X09_bit_9 -X09_bit_8 -X09_bit_7 -X09_bit_6 X09_bit_5 -X09_bit_4 -X09_bit_3 -X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 -X09_bit5 -X09_bit6 -X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12 -X09_bit13 -X09_bit14 -X09_bit15 -X09_bit16 -X09_bit17 -X09_bit18 -X09_bit19 -X15_bit_10 X15_bit_9 -X15_bit_8 -X15_bit_7 X15_bit_6 X15_bit_5 X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 X16_bit_10 -X16_bit_9 -X16_bit_8 -X16_bit_7 X16_bit_6 -X16_bit_5 X16_bit_4 -X16_bit_3 X16_bit_2 X16_bit_1 -X16_bit0 X16_bit1 X16_bit2 X16_bit3 -X16_bit4 X16_bit5 X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 X22_bit_6 X22_bit_5 X22_bit_4 -X22_bit_3 X22_bit_2 X22_bit_1 X22_bit0 X22_bit1 X22_bit2 X22_bit3 X22_bit4 X22_bit5 X22_bit6 X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 X24_bit_10 -X24_bit_9 -X24_bit_8 -X24_bit_7 X24_bit_6 -X24_bit_5 -X24_bit_4 X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 X24_bit3 X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 -X24_bit17 -X24_bit18 -X24_bit19 -X25_bit_10 -X25_bit_9 -X25_bit_8 -X25_bit_7 -X25_bit_6 X25_bit_5 X25_bit_4 X25_bit_3 -X25_bit_2 X25_bit_1 X25_bit0 X25_bit1 X25_bit2 X25_bit3 X25_bit4 -X25_bit5 X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X25_bit17 -X25_bit18 -X25_bit19 -X26_bit_10 -X26_bit_9 X26_bit_8 -X26_bit_7 X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 X26_bit1 X26_bit2 X26_bit3 -X26_bit4 X26_bit5 X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit13 -X26_bit14 -X26_bit15 -X26_bit16 -X26_bit17 -X26_bit18 -X26_bit19 -X28_bit_10 -X28_bit_9 X28_bit_8 -X28_bit_7 X28_bit_6 X28_bit_5 X28_bit_4 X28_bit_3 -X28_bit_2 X28_bit_1 X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 X28_bit4 -X28_bit5 X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X28_bit13 -X28_bit14 -X28_bit15 -X28_bit16 -X28_bit17 -X28_bit18 -X28_bit19 -X29_bit_10 -X29_bit_9 -X29_bit_8 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit13 -X29_bit14 -X29_bit15 -X29_bit16 -X29_bit17 -X29_bit18 -X29_bit19 -X30_bit_10 -X30_bit_9 -X30_bit_8 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit13 -X30_bit14 -X30_bit15 -X30_bit16 -X30_bit17 -X30_bit18 -X30_bit19 -X31_bit_10 -X31_bit_9 -X31_bit_8 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X31_bit17 -X31_bit18 -X31_bit19 X38_bit_10 X38_bit_9 X38_bit_8 -X38_bit_7 X38_bit_6 -X38_bit_5 -X38_bit_4 X38_bit_3 -X38_bit_2 -X38_bit_1 X38_bit0 X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit13 -X38_bit14 -X38_bit15 -X38_bit16 -X38_bit17 -X38_bit18 -X38_bit19 X37_bit_10 -X37_bit_9 X37_bit_8 X37_bit_7 X37_bit_6 -X37_bit_5 -X37_bit_4 X37_bit_3 X37_bit_2 -X37_bit_1 X37_bit0 X37_bit1 -X37_bit2 X37_bit3 X37_bit4 X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit13 -X37_bit14 -X37_bit15 -X37_bit16 -X37_bit17 -X37_bit18 -X37_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 -X12_bit_10 -X12_bit_9 -X12_bit_8 X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 -X32_bit_10 -X32_bit_9 -X32_bit_8 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X32_bit17 -X32_bit18 -X32_bit19 -X33_bit_10 -X33_bit_9 -X33_bit_8 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X33_bit17 -X33_bit18 -X33_bit19 -X34_bit_10 -X34_bit_9 -X34_bit_8 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X34_bit17 -X34_bit18 -X34_bit19 -X35_bit_10 -X35_bit_9 -X35_bit_8 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X35_bit17 -X35_bit18 -X35_bit19 
c Cost: -4120833
c Exit Code: 10
c Total time: 1195 s

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 1738265563 438272 3 4294967295 134512640 134736556 3221221728 3221221728 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13394/statm): 107 3 90 68 0 39 0
[pid=13394] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file /usr/local/intel-8.0-20031016/lib/tls/i686/mmx/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/tls/i686/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/tls/mmx/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/tls/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/i686/mmx/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/i686/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/mmx/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/i686/mmx/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/i686/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/mmx/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/i686/mmx/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/i686/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/mmx/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/tls/i686/mmx/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/tls/i686/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/tls/mmx/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/tls/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/i686/mmx/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/i686/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/mmx/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/libstdc++-libc6.2-2.so.3
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libstdc++-libc6.2-2.so.3
open syscall for file /usr/local/globus-2.4.3/lib/libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file /usr/local/intel-8.0-20031016/lib/libm.so.6
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libm.so.6
open syscall for file /usr/local/globus-2.4.3/lib/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file /usr/local/intel-8.0-20031016/lib/libpthread.so.0
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libpthread.so.0
open syscall for file /usr/local/globus-2.4.3/lib/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /usr/local/intel-8.0-20031016/lib/libc.so.6
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libc.so.6
open syscall for file /usr/local/globus-2.4.3/lib/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /usr/local/intel-8.0-20031016/lib/libgcc_s.so.1
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libgcc_s.so.1
open syscall for file /usr/local/globus-2.4.3/lib/libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-afiro.opb

[startup+10.0025 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 1290 0 0 0 921 26 0 0 25 0 1 0 1738265563 8327168 1202 4294967295 134512640 134736556 3221221728 3221220504 134560344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 2033 1202 1116 68 0 1965 0
[pid=13394] vsize: 8132
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (Kb) 8132

[startup+20.0023 s]
Raw data (loadavg): 0.94 0.97 0.99 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 1596 0 0 0 1842 54 0 0 25 0 1 0 1738265563 9662464 1508 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 2359 1508 1116 68 0 2291 0
[pid=13394] vsize: 9436
Current children cumulated CPU time (s) 18.96
Current children cumulated vsize (Kb) 9436

[startup+30.0031 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 1785 0 0 0 2796 69 0 0 25 0 1 0 1738265563 10338304 1697 4294967295 134512640 134736556 3221221728 3221220304 134550704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 2524 1697 1116 68 0 2456 0
[pid=13394] vsize: 10096
Current children cumulated CPU time (s) 28.65
Current children cumulated vsize (Kb) 10096

[startup+40.0029 s]
Raw data (loadavg): 0.95 0.97 0.99 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 1849 0 0 0 3752 85 0 0 25 0 1 0 1738265563 10604544 1761 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 2589 1761 1116 68 0 2521 0
[pid=13394] vsize: 10356
Current children cumulated CPU time (s) 38.37
Current children cumulated vsize (Kb) 10356

[startup+50.0037 s]
Raw data (loadavg): 1.04 0.99 0.99 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 6009 0 0 0 4668 120 0 0 25 0 1 0 1738265563 27746304 5921 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 6774 5921 1116 68 0 6706 0
[pid=13394] vsize: 27096
Current children cumulated CPU time (s) 47.88
Current children cumulated vsize (Kb) 27096

[startup+60.0035 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 12701 0 0 0 5576 161 0 0 25 0 1 0 1738265563 55259136 12609 4294967295 134512640 134736556 3221221728 3221220336 134634145 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 13491 12609 1116 68 0 13423 0
[pid=13394] vsize: 53964
Current children cumulated CPU time (s) 57.37
Current children cumulated vsize (Kb) 53964

[startup+70.0033 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 18972 0 0 0 6520 189 0 0 25 0 1 0 1738265563 80941056 18878 4294967295 134512640 134736556 3221221728 3221220340 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 19761 18878 1116 68 0 19693 0
[pid=13394] vsize: 79044
Current children cumulated CPU time (s) 67.09
Current children cumulated vsize (Kb) 79044

[startup+80.0041 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 19274 0 0 0 7515 192 0 0 25 0 1 0 1738265563 82186240 19178 4294967295 134512640 134736556 3221221728 3221220356 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 20065 19178 1116 68 0 19997 0
[pid=13394] vsize: 80260
Current children cumulated CPU time (s) 77.07
Current children cumulated vsize (Kb) 80260

[startup+90.0039 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 19760 0 0 0 8507 196 0 0 25 0 1 0 1738265563 84213760 19664 4294967295 134512640 134736556 3221221728 3221220336 134537415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 20560 19664 1116 68 0 20492 0
[pid=13394] vsize: 82240
Current children cumulated CPU time (s) 87.03
Current children cumulated vsize (Kb) 82240

[startup+100.005 s]
Raw data (loadavg): 1.02 0.99 0.99 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 20760 0 0 0 9492 203 0 0 25 0 1 0 1738265563 88281088 20664 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 21553 20664 1116 68 0 21485 0
[pid=13394] vsize: 86212
Current children cumulated CPU time (s) 96.95
Current children cumulated vsize (Kb) 86212

[startup+110.005 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 21822 0 0 0 10451 218 0 0 25 0 1 0 1738265563 92651520 21723 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 22620 21723 1116 68 0 22552 0
[pid=13394] vsize: 90480
Current children cumulated CPU time (s) 106.69
Current children cumulated vsize (Kb) 90480

[startup+120.005 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 22151 0 0 0 11408 236 0 0 25 0 1 0 1738265563 93978624 22052 4294967295 134512640 134736556 3221221728 3221220464 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 22944 22052 1116 68 0 22876 0
[pid=13394] vsize: 91776
Current children cumulated CPU time (s) 116.44
Current children cumulated vsize (Kb) 91776

[startup+130.006 s]
Raw data (loadavg): 1.08 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 25367 0 0 0 12353 260 0 0 25 0 1 0 1738265563 107233280 25268 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 26180 25268 1116 68 0 26112 0
[pid=13394] vsize: 104720
Current children cumulated CPU time (s) 126.13
Current children cumulated vsize (Kb) 104720

[startup+140.006 s]
Raw data (loadavg): 1.07 1.00 1.00 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 26667 0 0 0 13318 274 0 0 25 0 1 0 1738265563 112492544 26568 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 27464 26568 1116 68 0 27396 0
[pid=13394] vsize: 109856
Current children cumulated CPU time (s) 135.92
Current children cumulated vsize (Kb) 109856

[startup+150.007 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 26994 0 0 0 14270 292 0 0 25 0 1 0 1738265563 113831936 26891 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 27791 26891 1116 68 0 27723 0
[pid=13394] vsize: 111164
Current children cumulated CPU time (s) 145.62
Current children cumulated vsize (Kb) 111164

[startup+160.007 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 27033 0 0 0 15233 305 0 0 25 0 1 0 1738265563 113958912 26930 4294967295 134512640 134736556 3221221728 3221220304 134550726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 27822 26930 1116 68 0 27754 0
[pid=13394] vsize: 111288
Current children cumulated CPU time (s) 155.38
Current children cumulated vsize (Kb) 111288

[startup+170.007 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 27232 0 0 0 16187 321 0 0 25 0 1 0 1738265563 114774016 27129 4294967295 134512640 134736556 3221221728 3221220304 134550726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 28021 27129 1116 68 0 27953 0
[pid=13394] vsize: 112084
Current children cumulated CPU time (s) 165.08
Current children cumulated vsize (Kb) 112084

[startup+180.008 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 28769 0 0 0 17134 343 0 0 25 0 1 0 1738265563 121106432 28666 4294967295 134512640 134736556 3221221728 3221220416 134536470 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 29567 28666 1116 68 0 29499 0
[pid=13394] vsize: 118268
Current children cumulated CPU time (s) 174.77
Current children cumulated vsize (Kb) 118268

[startup+190.008 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 30620 0 0 0 18093 361 0 0 25 0 1 0 1738265563 128671744 30517 4294967295 134512640 134736556 3221221728 3221220152 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 31414 30517 1116 68 0 31346 0
[pid=13394] vsize: 125656
Current children cumulated CPU time (s) 184.54
Current children cumulated vsize (Kb) 125656

[startup+200.009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 31548 0 0 0 19074 371 0 0 25 0 1 0 1738265563 132460544 31445 4294967295 134512640 134736556 3221221728 3221220220 134536708 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 32339 31445 1116 68 0 32271 0
[pid=13394] vsize: 129356
Current children cumulated CPU time (s) 194.45
Current children cumulated vsize (Kb) 129356

[startup+210.008 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 31759 0 0 0 20070 372 0 0 25 0 1 0 1738265563 133406720 31656 4294967295 134512640 134736556 3221221728 3221220276 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 32570 31656 1116 68 0 32502 0
[pid=13394] vsize: 130280
Current children cumulated CPU time (s) 204.42
Current children cumulated vsize (Kb) 130280

[startup+220.008 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 32130 0 0 0 21065 375 0 0 25 0 1 0 1738265563 134893568 32027 4294967295 134512640 134736556 3221221728 3221220320 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 32933 32027 1116 68 0 32865 0
[pid=13394] vsize: 131732
Current children cumulated CPU time (s) 214.4
Current children cumulated vsize (Kb) 131732

[startup+230.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 32518 0 0 0 22058 378 0 0 25 0 1 0 1738265563 136515584 32415 4294967295 134512640 134736556 3221221728 3221220256 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 33329 32415 1116 68 0 33261 0
[pid=13394] vsize: 133316
Current children cumulated CPU time (s) 224.36
Current children cumulated vsize (Kb) 133316

[startup+240.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 32904 0 0 0 23051 381 0 0 25 0 1 0 1738265563 138002432 32801 4294967295 134512640 134736556 3221221728 3221220236 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 33692 32801 1116 68 0 33624 0
[pid=13394] vsize: 134768
Current children cumulated CPU time (s) 234.32
Current children cumulated vsize (Kb) 134768

[startup+250.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 33452 0 0 0 24040 388 0 0 25 0 1 0 1738265563 140300288 33349 4294967295 134512640 134736556 3221221728 3221220388 134609065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 34253 33349 1116 68 0 34185 0
[pid=13394] vsize: 137012
Current children cumulated CPU time (s) 244.28
Current children cumulated vsize (Kb) 137012

[startup+260.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 34417 0 0 0 25026 394 0 0 25 0 1 0 1738265563 144211968 34314 4294967295 134512640 134736556 3221221728 3221220416 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 35208 34314 1116 68 0 35140 0
[pid=13394] vsize: 140832
Current children cumulated CPU time (s) 254.2
Current children cumulated vsize (Kb) 140832

[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 35422 0 0 0 26007 403 0 0 25 0 1 0 1738265563 148402176 35319 4294967295 134512640 134736556 3221221728 3221220400 134528799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 36231 35319 1116 68 0 36163 0
[pid=13394] vsize: 144924
Current children cumulated CPU time (s) 264.1
Current children cumulated vsize (Kb) 144924

[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 36073 0 0 0 26995 408 0 0 25 0 1 0 1738265563 151097344 35970 4294967295 134512640 134736556 3221221728 3221220352 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 36889 35970 1116 68 0 36821 0
[pid=13394] vsize: 147556
Current children cumulated CPU time (s) 274.03
Current children cumulated vsize (Kb) 147556

[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 36391 0 0 0 27989 411 0 0 25 0 1 0 1738265563 152313856 36288 4294967295 134512640 134736556 3221221728 3221220308 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 37186 36288 1116 68 0 37118 0
[pid=13394] vsize: 148744
Current children cumulated CPU time (s) 284
Current children cumulated vsize (Kb) 148744

[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 37457 0 0 0 28969 421 0 0 25 0 1 0 1738265563 156774400 37354 4294967295 134512640 134736556 3221221728 3221220416 134536462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 38275 37354 1116 68 0 38207 0
[pid=13394] vsize: 153100
Current children cumulated CPU time (s) 293.9
Current children cumulated vsize (Kb) 153100

[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 38157 0 0 0 29958 425 0 0 25 0 1 0 1738265563 159600640 38054 4294967295 134512640 134736556 3221221728 3221220240 134543187 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 38965 38054 1116 68 0 38897 0
[pid=13394] vsize: 155860
Current children cumulated CPU time (s) 303.83
Current children cumulated vsize (Kb) 155860

[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 39253 0 0 0 30938 434 0 0 25 0 1 0 1738265563 164065280 39150 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 40055 39150 1116 68 0 39987 0
[pid=13394] vsize: 160220
Current children cumulated CPU time (s) 313.72
Current children cumulated vsize (Kb) 160220

[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 39937 0 0 0 31917 443 0 0 25 0 1 0 1738265563 166903808 39834 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 40748 39834 1116 68 0 40680 0
[pid=13394] vsize: 162992
Current children cumulated CPU time (s) 323.6
Current children cumulated vsize (Kb) 162992

[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 40544 0 0 0 32895 450 0 0 25 0 1 0 1738265563 169328640 40441 4294967295 134512640 134736556 3221221728 3221220376 134554050 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 41340 40441 1116 68 0 41272 0
[pid=13394] vsize: 165360
Current children cumulated CPU time (s) 333.45
Current children cumulated vsize (Kb) 165360

[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 41142 0 0 0 33877 458 0 0 25 0 1 0 1738265563 171757568 41039 4294967295 134512640 134736556 3221221728 3221220304 134537427 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 41933 41039 1116 68 0 41865 0
[pid=13394] vsize: 167732
Current children cumulated CPU time (s) 343.35
Current children cumulated vsize (Kb) 167732

[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 41990 0 0 0 34862 464 0 0 25 0 1 0 1738265563 175255552 41887 4294967295 134512640 134736556 3221221728 3221220352 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 42787 41887 1116 68 0 42719 0
[pid=13394] vsize: 171148
Current children cumulated CPU time (s) 353.26
Current children cumulated vsize (Kb) 171148

[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 42270 0 0 0 35842 471 0 0 25 0 1 0 1738265563 176472064 42167 4294967295 134512640 134736556 3221221728 3221220196 134536046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 43084 42167 1116 68 0 43016 0
[pid=13394] vsize: 172336
Current children cumulated CPU time (s) 363.13
Current children cumulated vsize (Kb) 172336

[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 42521 0 0 0 36824 478 0 0 25 0 1 0 1738265563 177418240 42418 4294967295 134512640 134736556 3221221728 3221220368 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 43315 42418 1116 68 0 43247 0
[pid=13394] vsize: 173260
Current children cumulated CPU time (s) 373.02
Current children cumulated vsize (Kb) 173260

[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 43028 0 0 0 37804 487 0 0 25 0 1 0 1738265563 179580928 42925 4294967295 134512640 134736556 3221221728 3221220252 134536220 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 43843 42925 1116 68 0 43775 0
[pid=13394] vsize: 175372
Current children cumulated CPU time (s) 382.91
Current children cumulated vsize (Kb) 175372

[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 43569 0 0 0 38785 494 0 0 25 0 1 0 1738265563 181747712 43466 4294967295 134512640 134736556 3221221728 3221220384 134529222 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 44372 43466 1116 68 0 44304 0
[pid=13394] vsize: 177488
Current children cumulated CPU time (s) 392.79
Current children cumulated vsize (Kb) 177488

[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 43960 0 0 0 39771 501 0 0 25 0 1 0 1738265563 183369728 43857 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 44768 43857 1116 68 0 44700 0
[pid=13394] vsize: 179072
Current children cumulated CPU time (s) 402.72
Current children cumulated vsize (Kb) 179072

[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 44214 0 0 0 40761 505 0 0 25 0 1 0 1738265563 184451072 44111 4294967295 134512640 134736556 3221221728 3221220304 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 45032 44111 1116 68 0 44964 0
[pid=13394] vsize: 180128
Current children cumulated CPU time (s) 412.66
Current children cumulated vsize (Kb) 180128

[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 44967 0 0 0 41749 511 0 0 25 0 1 0 1738265563 187559936 44864 4294967295 134512640 134736556 3221221728 3221220376 134537635 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 45791 44864 1116 68 0 45723 0
[pid=13394] vsize: 183164
Current children cumulated CPU time (s) 422.6
Current children cumulated vsize (Kb) 183164

[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 45647 0 0 0 42730 518 0 0 25 0 1 0 1738265563 190394368 45544 4294967295 134512640 134736556 3221221728 3221220408 134605889 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/13394/statm): 46483 45544 1116 68 0 46415 0
[pid=13394] vsize: 185932
Current children cumulated CPU time (s) 432.48
Current children cumulated vsize (Kb) 185932

[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 46450 0 0 0 43712 526 0 0 25 0 1 0 1738265563 193634304 46347 4294967295 134512640 134736556 3221221728 3221220336 134524350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 47274 46347 1116 68 0 47206 0
[pid=13394] vsize: 189096
Current children cumulated CPU time (s) 442.38
Current children cumulated vsize (Kb) 189096

[startup+460.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 47291 0 0 0 44694 534 0 0 25 0 1 0 1738265563 197148672 47188 4294967295 134512640 134736556 3221221728 3221220464 134529155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 48132 47188 1116 68 0 48064 0
[pid=13394] vsize: 192528
Current children cumulated CPU time (s) 452.28
Current children cumulated vsize (Kb) 192528

[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 48071 0 0 0 45679 540 0 0 25 0 1 0 1738265563 200257536 47968 4294967295 134512640 134736556 3221221728 3221220304 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 48891 47968 1116 68 0 48823 0
[pid=13394] vsize: 195564
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (Kb) 195564

[startup+480.018 s]
Raw data (loadavg): 1.07 1.02 1.00 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 48754 0 0 0 46664 548 0 0 25 0 1 0 1738265563 203091968 48651 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 49583 48651 1116 68 0 49515 0
[pid=13394] vsize: 198332
Current children cumulated CPU time (s) 472.12
Current children cumulated vsize (Kb) 198332

[startup+490.017 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 49370 0 0 0 47648 555 0 0 25 0 1 0 1738265563 205660160 49267 4294967295 134512640 134736556 3221221728 3221220352 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 50210 49267 1116 68 0 50142 0
[pid=13394] vsize: 200840
Current children cumulated CPU time (s) 482.03
Current children cumulated vsize (Kb) 200840

[startup+500.018 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 49664 0 0 0 48637 561 0 0 25 0 1 0 1738265563 206868480 49561 4294967295 134512640 134736556 3221221728 3221220348 134554110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 50505 49561 1116 68 0 50437 0
[pid=13394] vsize: 202020
Current children cumulated CPU time (s) 491.98
Current children cumulated vsize (Kb) 202020

[startup+510.018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 50125 0 0 0 49625 566 0 0 25 0 1 0 1738265563 208629760 50022 4294967295 134512640 134736556 3221221728 3221220400 134529182 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 50935 50022 1116 68 0 50867 0
[pid=13394] vsize: 203740
Current children cumulated CPU time (s) 501.91
Current children cumulated vsize (Kb) 203740

[startup+520.018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 50415 0 0 0 50615 570 0 0 25 0 1 0 1738265563 209948672 50312 4294967295 134512640 134736556 3221221728 3221220252 134536346 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 51257 50312 1116 68 0 51189 0
[pid=13394] vsize: 205028
Current children cumulated CPU time (s) 511.85
Current children cumulated vsize (Kb) 205028

[startup+530.019 s]
Raw data (loadavg): 1.10 1.03 1.01 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 50636 0 0 0 51606 574 0 0 25 0 1 0 1738265563 210759680 50533 4294967295 134512640 134736556 3221221728 3221220316 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 51455 50533 1116 68 0 51387 0
[pid=13394] vsize: 205820
Current children cumulated CPU time (s) 521.8
Current children cumulated vsize (Kb) 205820

[startup+540.018 s]
Raw data (loadavg): 1.09 1.03 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 50954 0 0 0 52594 579 0 0 25 0 1 0 1738265563 212111360 50851 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 51785 50851 1116 68 0 51717 0
[pid=13394] vsize: 207140
Current children cumulated CPU time (s) 531.73
Current children cumulated vsize (Kb) 207140

[startup+550.019 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 51669 0 0 0 53559 592 0 0 25 0 1 0 1738265563 215060480 51566 4294967295 134512640 134736556 3221221728 3221220420 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 52505 51566 1116 68 0 52437 0
[pid=13394] vsize: 210020
Current children cumulated CPU time (s) 541.51
Current children cumulated vsize (Kb) 210020

[startup+560.019 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 51965 0 0 0 54546 599 0 0 25 0 1 0 1738265563 216276992 51862 4294967295 134512640 134736556 3221221728 3221220360 134553009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/13394/statm): 52802 51862 1116 68 0 52734 0
[pid=13394] vsize: 211208
Current children cumulated CPU time (s) 551.45
Current children cumulated vsize (Kb) 211208

[startup+570.019 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 52351 0 0 0 55530 606 0 0 25 0 1 0 1738265563 217899008 52248 4294967295 134512640 134736556 3221221728 3221220384 134524765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 53198 52248 1116 68 0 53130 0
[pid=13394] vsize: 212792
Current children cumulated CPU time (s) 561.36
Current children cumulated vsize (Kb) 212792

[startup+580.019 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 52370 0 0 0 56528 606 0 0 25 0 1 0 1738265563 217899008 52267 4294967295 134512640 134736556 3221221728 3221220340 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 53198 52267 1116 68 0 53130 0
[pid=13394] vsize: 212792
Current children cumulated CPU time (s) 571.34
Current children cumulated vsize (Kb) 212792

[startup+590.02 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 52515 0 0 0 57523 609 0 0 25 0 1 0 1738265563 218447872 52412 4294967295 134512640 134736556 3221221728 3221220332 134554060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 53332 52412 1116 68 0 53264 0
[pid=13394] vsize: 213328
Current children cumulated CPU time (s) 581.32
Current children cumulated vsize (Kb) 213328

[startup+600.021 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 52602 0 0 0 58516 612 0 0 25 0 1 0 1738265563 218861568 52499 4294967295 134512640 134736556 3221221728 3221220464 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 53433 52499 1116 68 0 53365 0
[pid=13394] vsize: 213732
Current children cumulated CPU time (s) 591.28
Current children cumulated vsize (Kb) 213732

[startup+610.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 52754 0 0 0 59489 622 0 0 25 0 1 0 1738265563 219537408 52651 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 53598 52651 1116 68 0 53530 0
[pid=13394] vsize: 214392
Current children cumulated CPU time (s) 601.11
Current children cumulated vsize (Kb) 214392

[startup+620.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53139 0 0 0 60464 630 0 0 25 0 1 0 1738265563 221020160 53036 4294967295 134512640 134736556 3221221728 3221220428 134554059 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/13394/statm): 53960 53036 1116 68 0 53892 0
[pid=13394] vsize: 215840
Current children cumulated CPU time (s) 610.94
Current children cumulated vsize (Kb) 215840

[startup+630.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53378 0 0 0 61445 638 0 0 25 0 1 0 1738265563 222056448 53275 4294967295 134512640 134736556 3221221728 3221220352 134537450 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 54213 53275 1116 68 0 54145 0
[pid=13394] vsize: 216852
Current children cumulated CPU time (s) 620.83
Current children cumulated vsize (Kb) 216852

[startup+640.023 s]
Raw data (loadavg): 1.01 1.02 1.00 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 53472 0 0 0 62429 644 0 0 25 0 1 0 1738265563 222457856 53369 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 54311 53369 1116 68 0 54243 0
[pid=13394] vsize: 217244
Current children cumulated CPU time (s) 630.73
Current children cumulated vsize (Kb) 217244

[startup+650.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53571 0 0 0 63419 648 0 0 25 0 1 0 1738265563 222863360 53468 4294967295 134512640 134736556 3221221728 3221220464 134605552 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 54410 53468 1116 68 0 54342 0
[pid=13394] vsize: 217640
Current children cumulated CPU time (s) 640.67
Current children cumulated vsize (Kb) 217640

[startup+660.025 s]
Raw data (loadavg): 1.09 1.03 1.01 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53773 0 0 0 64400 654 0 0 25 0 1 0 1738265563 223674368 53670 4294967295 134512640 134736556 3221221728 3221220192 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 54608 53670 1116 68 0 54540 0
[pid=13394] vsize: 218432
Current children cumulated CPU time (s) 650.54
Current children cumulated vsize (Kb) 218432

[startup+670.024 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53887 0 0 0 65339 674 0 0 25 0 1 0 1738265563 224079872 53784 4294967295 134512640 134736556 3221221728 3221220320 134551076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 54707 53784 1116 68 0 54639 0
[pid=13394] vsize: 218828
Current children cumulated CPU time (s) 660.13
Current children cumulated vsize (Kb) 218828

[startup+680.025 s]
Raw data (loadavg): 1.14 1.04 1.01 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54097 0 0 0 66306 686 0 0 25 0 1 0 1738265563 224972800 53994 4294967295 134512640 134736556 3221221728 3221220404 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 54925 53994 1116 68 0 54857 0
[pid=13394] vsize: 219700
Current children cumulated CPU time (s) 669.92
Current children cumulated vsize (Kb) 219700

[startup+690.025 s]
Raw data (loadavg): 1.11 1.04 1.01 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54187 0 0 0 67291 692 0 0 25 0 1 0 1738265563 225341440 54084 4294967295 134512640 134736556 3221221728 3221220440 134553056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 55015 54084 1116 68 0 54947 0
[pid=13394] vsize: 220060
Current children cumulated CPU time (s) 679.83
Current children cumulated vsize (Kb) 220060

[startup+700.026 s]
Raw data (loadavg): 1.10 1.04 1.01 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54193 0 0 0 68284 694 0 0 25 0 1 0 1738265563 225341440 54090 4294967295 134512640 134736556 3221221728 3221220444 134554060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 55015 54090 1116 68 0 54947 0
[pid=13394] vsize: 220060
Current children cumulated CPU time (s) 689.78
Current children cumulated vsize (Kb) 220060

[startup+710.027 s]
Raw data (loadavg): 1.08 1.04 1.01 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54244 0 0 0 69260 704 0 0 25 0 1 0 1738265563 225566720 54141 4294967295 134512640 134736556 3221221728 3221220304 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 55070 54141 1116 68 0 55002 0
[pid=13394] vsize: 220280
Current children cumulated CPU time (s) 699.64
Current children cumulated vsize (Kb) 220280

[startup+720.026 s]
Raw data (loadavg): 1.07 1.04 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54438 0 0 0 70190 727 0 0 25 0 1 0 1738265563 226316288 54335 4294967295 134512640 134736556 3221221728 3221220356 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 55253 54335 1116 68 0 55185 0
[pid=13394] vsize: 221012
Current children cumulated CPU time (s) 709.17
Current children cumulated vsize (Kb) 221012

[startup+730.027 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54626 0 0 0 71160 740 0 0 25 0 1 0 1738265563 227119104 54523 4294967295 134512640 134736556 3221221728 3221220336 134524345 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 55449 54523 1116 68 0 55381 0
[pid=13394] vsize: 221796
Current children cumulated CPU time (s) 719
Current children cumulated vsize (Kb) 221796

[startup+740.028 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54752 0 0 0 72133 750 0 0 25 0 1 0 1738265563 227635200 54649 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 55575 54649 1116 68 0 55507 0
[pid=13394] vsize: 222300
Current children cumulated CPU time (s) 728.83
Current children cumulated vsize (Kb) 222300

[startup+750.029 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54943 0 0 0 73103 761 0 0 25 0 1 0 1738265563 228438016 54840 4294967295 134512640 134736556 3221221728 3221220416 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 55771 54840 1116 68 0 55703 0
[pid=13394] vsize: 223084
Current children cumulated CPU time (s) 738.64
Current children cumulated vsize (Kb) 223084

[startup+760.029 s]
Raw data (loadavg): 1.03 1.03 1.00 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 55086 0 0 0 74065 775 0 0 25 0 1 0 1738265563 228978688 54983 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 55903 54983 1116 68 0 55835 0
[pid=13394] vsize: 223612
Current children cumulated CPU time (s) 748.4
Current children cumulated vsize (Kb) 223612

[startup+770.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 55542 0 0 0 75046 783 0 0 25 0 1 0 1738265563 231010304 55438 4294967295 134512640 134736556 3221221728 3221220332 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 56399 55438 1116 68 0 56331 0
[pid=13394] vsize: 225596
Current children cumulated CPU time (s) 758.29
Current children cumulated vsize (Kb) 225596

[startup+780.029 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 55608 0 0 0 76043 784 0 0 25 0 1 0 1738265563 231280640 55504 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 56465 55504 1116 68 0 56397 0
[pid=13394] vsize: 225860
Current children cumulated CPU time (s) 768.27
Current children cumulated vsize (Kb) 225860

[startup+790.029 s]
Raw data (loadavg): 1.02 1.03 1.00 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 56355 0 0 0 77015 797 0 0 25 0 1 0 1738265563 234254336 56251 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 57191 56251 1116 68 0 57123 0
[pid=13394] vsize: 228764
Current children cumulated CPU time (s) 778.12
Current children cumulated vsize (Kb) 228764

[startup+800.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 56532 0 0 0 77995 804 0 0 23 0 1 0 1738265563 235065344 56428 4294967295 134512640 134736556 3221221728 3221220288 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 57389 56428 1116 68 0 57321 0
[pid=13394] vsize: 229556
Current children cumulated CPU time (s) 787.99
Current children cumulated vsize (Kb) 229556

[startup+810.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 56570 0 0 0 78989 806 0 0 25 0 1 0 1738265563 235200512 56466 4294967295 134512640 134736556 3221221728 3221220416 134524335 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 57422 56466 1116 68 0 57354 0
[pid=13394] vsize: 229688
Current children cumulated CPU time (s) 797.95
Current children cumulated vsize (Kb) 229688

[startup+820.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 56690 0 0 0 79945 821 0 0 25 0 1 0 1738265563 235597824 56586 4294967295 134512640 134736556 3221221728 3221220344 134523849 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 57519 56586 1116 68 0 57451 0
[pid=13394] vsize: 230076
Current children cumulated CPU time (s) 807.66
Current children cumulated vsize (Kb) 230076

[startup+830.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 56998 0 0 0 80931 826 0 0 25 0 1 0 1738265563 236941312 56894 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 57847 56894 1116 68 0 57779 0
[pid=13394] vsize: 231388
Current children cumulated CPU time (s) 817.57
Current children cumulated vsize (Kb) 231388

[startup+840.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 57056 0 0 0 81918 831 0 0 25 0 1 0 1738265563 237211648 56952 4294967295 134512640 134736556 3221221728 3221220304 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 57913 56952 1116 68 0 57845 0
[pid=13394] vsize: 231652
Current children cumulated CPU time (s) 827.49
Current children cumulated vsize (Kb) 231652

[startup+850.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 57809 0 0 0 82890 842 0 0 25 0 1 0 1738265563 240193536 57705 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 58641 57705 1116 68 0 58573 0
[pid=13394] vsize: 234564
Current children cumulated CPU time (s) 837.32
Current children cumulated vsize (Kb) 234564

[startup+860.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 57925 0 0 0 83882 845 0 0 25 0 1 0 1738265563 240734208 57821 4294967295 134512640 134736556 3221221728 3221220336 134537370 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 58773 57821 1116 68 0 58705 0
[pid=13394] vsize: 235092
Current children cumulated CPU time (s) 847.27
Current children cumulated vsize (Kb) 235092

[startup+870.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 57960 0 0 0 84875 848 0 0 25 0 1 0 1738265563 240869376 57856 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 58806 57856 1116 68 0 58738 0
[pid=13394] vsize: 235224
Current children cumulated CPU time (s) 857.23
Current children cumulated vsize (Kb) 235224

[startup+880.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58353 0 0 0 85861 854 0 0 25 0 1 0 1738265563 242491392 58249 4294967295 134512640 134736556 3221221728 3221220464 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59202 58249 1116 68 0 59134 0
[pid=13394] vsize: 236808
Current children cumulated CPU time (s) 867.15
Current children cumulated vsize (Kb) 236808

[startup+890.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58401 0 0 0 86854 856 0 0 25 0 1 0 1738265563 242626560 58297 4294967295 134512640 134736556 3221221728 3221220416 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59235 58297 1116 68 0 59167 0
[pid=13394] vsize: 236940
Current children cumulated CPU time (s) 877.1
Current children cumulated vsize (Kb) 236940

[startup+900.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58851 0 0 0 87840 862 0 0 25 0 1 0 1738265563 244518912 58747 4294967295 134512640 134736556 3221221728 3221220444 134553983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59697 58747 1116 68 0 59629 0
[pid=13394] vsize: 238788
Current children cumulated CPU time (s) 887.02
Current children cumulated vsize (Kb) 238788

[startup+910.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58895 0 0 0 88834 864 0 0 25 0 1 0 1738265563 244654080 58791 4294967295 134512640 134736556 3221221728 3221220352 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59730 58791 1116 68 0 59662 0
[pid=13394] vsize: 238920
Current children cumulated CPU time (s) 896.98
Current children cumulated vsize (Kb) 238920

[startup+920.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58917 0 0 0 89829 866 0 0 25 0 1 0 1738265563 244789248 58813 4294967295 134512640 134736556 3221221728 3221220404 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59763 58813 1116 68 0 59695 0
[pid=13394] vsize: 239052
Current children cumulated CPU time (s) 906.95
Current children cumulated vsize (Kb) 239052

[startup+930.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59032 0 0 0 90821 869 0 0 25 0 1 0 1738265563 245190656 58928 4294967295 134512640 134736556 3221221728 3221220376 134554078 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59861 58928 1116 68 0 59793 0
[pid=13394] vsize: 239444
Current children cumulated CPU time (s) 916.9
Current children cumulated vsize (Kb) 239444

[startup+940.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59061 0 0 0 91816 871 0 0 25 0 1 0 1738265563 245325824 58957 4294967295 134512640 134736556 3221221728 3221220316 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59894 58957 1116 68 0 59826 0
[pid=13394] vsize: 239576
Current children cumulated CPU time (s) 926.87
Current children cumulated vsize (Kb) 239576

[startup+950.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59064 0 0 0 92813 871 0 0 25 0 1 0 1738265563 245325824 58960 4294967295 134512640 134736556 3221221728 3221220336 134537370 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59894 58960 1116 68 0 59826 0
[pid=13394] vsize: 239576
Current children cumulated CPU time (s) 936.84
Current children cumulated vsize (Kb) 239576

[startup+960.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59084 0 0 0 93809 873 0 0 25 0 1 0 1738265563 245460992 58980 4294967295 134512640 134736556 3221221728 3221220396 134544624 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59927 58980 1116 68 0 59859 0
[pid=13394] vsize: 239708
Current children cumulated CPU time (s) 946.82
Current children cumulated vsize (Kb) 239708

[startup+970.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59132 0 0 0 94800 876 0 0 25 0 1 0 1738265563 245723136 59028 4294967295 134512640 134736556 3221221728 3221220404 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59991 59028 1116 68 0 59923 0
[pid=13394] vsize: 239964
Current children cumulated CPU time (s) 956.76
Current children cumulated vsize (Kb) 239964

[startup+980.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59161 0 0 0 95794 879 0 0 25 0 1 0 1738265563 245723136 59057 4294967295 134512640 134736556 3221221728 3221220332 134554110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 59991 59057 1116 68 0 59923 0
[pid=13394] vsize: 239964
Current children cumulated CPU time (s) 966.73
Current children cumulated vsize (Kb) 239964

[startup+990.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59709 0 0 0 96785 883 0 0 25 0 1 0 1738265563 248033280 59605 4294967295 134512640 134736556 3221221728 3221220464 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 60555 59605 1116 68 0 60487 0
[pid=13394] vsize: 242220
Current children cumulated CPU time (s) 976.68
Current children cumulated vsize (Kb) 242220

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60020 0 0 0 97752 897 0 0 25 0 1 0 1738265563 249376768 59915 4294967295 134512640 134736556 3221221728 3221220288 134544644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 60883 59915 1116 68 0 60815 0
[pid=13394] vsize: 243532
Current children cumulated CPU time (s) 986.49
Current children cumulated vsize (Kb) 243532

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60054 0 0 0 98730 905 0 0 25 0 1 0 1738265563 249511936 59949 4294967295 134512640 134736556 3221221728 3221220452 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 60916 59949 1116 68 0 60848 0
[pid=13394] vsize: 243664
Current children cumulated CPU time (s) 996.35
Current children cumulated vsize (Kb) 243664

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60106 0 0 0 99721 908 0 0 25 0 1 0 1738265563 249643008 60001 4294967295 134512640 134736556 3221221728 3221220464 134529363 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/13394/statm): 60948 60001 1116 68 0 60880 0
[pid=13394] vsize: 243792
Current children cumulated CPU time (s) 1006.29
Current children cumulated vsize (Kb) 243792

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60114 0 0 0 100711 911 0 0 25 0 1 0 1738265563 249643008 60009 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 60948 60009 1116 68 0 60880 0
[pid=13394] vsize: 243792
Current children cumulated CPU time (s) 1016.22
Current children cumulated vsize (Kb) 243792

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60173 0 0 0 101699 916 0 0 25 0 1 0 1738265563 249909248 60068 4294967295 134512640 134736556 3221221728 3221220452 134529471 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 61013 60068 1116 68 0 60945 0
[pid=13394] vsize: 244052
Current children cumulated CPU time (s) 1026.15
Current children cumulated vsize (Kb) 244052

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60265 0 0 0 102693 918 0 0 25 0 1 0 1738265563 250314752 60160 4294967295 134512640 134736556 3221221728 3221220464 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 61112 60160 1116 68 0 61044 0
[pid=13394] vsize: 244448
Current children cumulated CPU time (s) 1036.11
Current children cumulated vsize (Kb) 244448

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60322 0 0 0 103689 920 0 0 25 0 1 0 1738265563 250568704 60217 4294967295 134512640 134736556 3221221728 3221220352 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 61174 60217 1116 68 0 61106 0
[pid=13394] vsize: 244696
Current children cumulated CPU time (s) 1046.09
Current children cumulated vsize (Kb) 244696

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60597 0 0 0 104671 928 0 0 25 0 1 0 1738265563 251629568 60492 4294967295 134512640 134736556 3221221728 3221220444 134553972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 61433 60492 1116 68 0 61365 0
[pid=13394] vsize: 245732
Current children cumulated CPU time (s) 1055.99
Current children cumulated vsize (Kb) 245732

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60963 0 0 0 105656 935 0 0 25 0 1 0 1738265563 253124608 60858 4294967295 134512640 134736556 3221221728 3221220440 134560217 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 61798 60858 1116 68 0 61730 0
[pid=13394] vsize: 247192
Current children cumulated CPU time (s) 1065.91
Current children cumulated vsize (Kb) 247192

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 61328 0 0 0 106627 944 0 0 25 0 1 0 1738265563 254726144 61223 4294967295 134512640 134736556 3221221728 3221220276 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 62189 61223 1116 68 0 62121 0
[pid=13394] vsize: 248756
Current children cumulated CPU time (s) 1075.71
Current children cumulated vsize (Kb) 248756

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 61554 0 0 0 107616 949 0 0 25 0 1 0 1738265563 255672320 61449 4294967295 134512640 134736556 3221221728 3221220036 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 62420 61449 1116 68 0 62352 0
[pid=13394] vsize: 249680
Current children cumulated CPU time (s) 1085.65
Current children cumulated vsize (Kb) 249680

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 61598 0 0 0 108612 950 0 0 25 0 1 0 1738265563 255803392 61493 4294967295 134512640 134736556 3221221728 3221220404 134529202 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 62452 61493 1116 68 0 62384 0
[pid=13394] vsize: 249808
Current children cumulated CPU time (s) 1095.62
Current children cumulated vsize (Kb) 249808

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 61772 0 0 0 109608 952 0 0 25 0 1 0 1738265563 256479232 61667 4294967295 134512640 134736556 3221221728 3221220252 134536687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 62617 61667 1116 68 0 62549 0
[pid=13394] vsize: 250468
Current children cumulated CPU time (s) 1105.6
Current children cumulated vsize (Kb) 250468

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 61970 0 0 0 110601 955 0 0 25 0 1 0 1738265563 257290240 61865 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 62815 61865 1116 68 0 62747 0
[pid=13394] vsize: 251260
Current children cumulated CPU time (s) 1115.56
Current children cumulated vsize (Kb) 251260

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 62394 0 0 0 111584 963 0 0 25 0 1 0 1738265563 259039232 62289 4294967295 134512640 134736556 3221221728 3221220400 134528681 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 63242 62289 1116 68 0 63174 0
[pid=13394] vsize: 252968
Current children cumulated CPU time (s) 1125.47
Current children cumulated vsize (Kb) 252968

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 62957 0 0 0 112553 973 0 0 25 0 1 0 1738265563 261332992 62852 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/13394/statm): 63802 62852 1116 68 0 63734 0
[pid=13394] vsize: 255208
Current children cumulated CPU time (s) 1135.26
Current children cumulated vsize (Kb) 255208

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 63428 0 0 0 113523 985 0 0 25 0 1 0 1738265563 263348224 63320 4294967295 134512640 134736556 3221221728 3221220300 1076999581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 64294 63320 1116 68 0 64226 0
[pid=13394] vsize: 257176
Current children cumulated CPU time (s) 1145.08
Current children cumulated vsize (Kb) 257176

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 63532 0 0 0 114510 989 0 0 25 0 1 0 1738265563 263753728 63424 4294967295 134512640 134736556 3221221728 3221220352 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 64393 63424 1116 68 0 64325 0
[pid=13394] vsize: 257572
Current children cumulated CPU time (s) 1154.99
Current children cumulated vsize (Kb) 257572

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 63776 0 0 0 115490 997 0 0 25 0 1 0 1738265563 264687616 63668 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 64621 63668 1116 68 0 64553 0
[pid=13394] vsize: 258484
Current children cumulated CPU time (s) 1164.87
Current children cumulated vsize (Kb) 258484

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 64449 0 0 0 116449 1013 0 0 25 0 1 0 1738265563 267509760 64341 4294967295 134512640 134736556 3221221728 3221220448 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 65310 64341 1116 68 0 65242 0
[pid=13394] vsize: 261240
Current children cumulated CPU time (s) 1174.62
Current children cumulated vsize (Kb) 261240

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 65065 0 0 0 117417 1026 0 0 25 0 1 0 1738265563 270065664 64956 4294967295 134512640 134736556 3221221728 3221220396 134694485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 65934 64956 1116 68 0 65866 0
[pid=13394] vsize: 263736
Current children cumulated CPU time (s) 1184.43
Current children cumulated vsize (Kb) 263736

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13394
Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 65609 0 0 0 118388 1036 0 0 25 0 1 0 1738265563 272220160 65500 4294967295 134512640 134736556 3221221728 3221220352 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/13394/statm): 66460 65500 1116 68 0 66392 0
[pid=13394] vsize: 265840
Current children cumulated CPU time (s) 1194.24
Current children cumulated vsize (Kb) 265840
One traced child (pid=13394) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.96
CPU time (s): 1195.14
CPU user time (s): 1184.64
CPU system time (s): 10.5044
CPU usage (%): 98.6933
Max. virtual memory (cumulated for all children) (Kb): 265840

Verifier Data

Verifier:	OK	-4120833