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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb
MD5SUM6cb229ab1cf181ca11759652604cb193
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4121005
Optimality of the best value was proved NO
Number of terms in the objective function 150
Biggest coefficient in the objective function 134217728000
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 316753837785
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 1304059445248
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 20964809094075
Number of bits of the biggest sum of 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 462

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        949700 kB
Buffers:         33788 kB
Cached:          23988 kB
SwapCached:        772 kB
Active:          53288 kB
Inactive:         7140 kB
HighTotal:      131008 kB
HighFree:       105588 kB
LowTotal:       903652 kB
LowFree:        844112 kB
SwapTotal:     2097136 kB
SwapFree:      2095816 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            18924 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 10:44:03 (client local time) WITH STATUS 10 IN 1195.14 SECONDS
stats: 405 0 1195.14 10

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.239
c After prepocess the problem consists of 589 variables and 35 constraints.
c Initial Lower Bound: -16515027
c Restart #1 #Var: 589 #Dec: 950 LB: -16515027 @ 0.741
c Restart #2 #Var: 589 #Dec: 2498 LB: -16515027 @ 1.777
c Restart #3 #Var: 589 #Dec: 4835 LB: -16515027 @ 3.126
c Restart #4 #Var: 589 #Dec: 7318 LB: -16515027 @ 4.946
c Restart #5 #Var: 589 #Dec: 11001 LB: -16515027 @ 7.375
c Restart #6 #Var: 589 #Dec: 15456 LB: -16515027 @ 9.348
c Restart #7 #Var: 589 #Dec: 21674 LB: -16515027 @ 11.21
c Restart #8 #Var: 589 #Dec: 26494 LB: -16515027 @ 12.938
c Restart #9 #Var: 589 #Dec: 28390 LB: -16515027 @ 14.665
c Restart #10 #Var: 589 #Dec: 30490 LB: -16515027 @ 16.553
c Restart #11 #Var: 589 #Dec: 32727 LB: -16515027 @ 18.429
c Restart #12 #Var: 589 #Dec: 35146 LB: -16515027 @ 20.458
c Restart #13 #Var: 589 #Dec: 38131 LB: -16515027 @ 23.41
c Restart #14 #Var: 589 #Dec: 41030 LB: -16515027 @ 26.389
c Restart #15 #Var: 589 #Dec: 44166 LB: -16515027 @ 29.703
c Restart #16 #Var: 589 #Dec: 47552 LB: -16515027 @ 33.378
c Restart #17 #Var: 589 #Dec: 51260 LB: -16515027 @ 37.135
c Restart #18 #Var: 589 #Dec: 55712 LB: -16515027 @ 41.282
c Restart #19 #Var: 589 #Dec: 60722 LB: -16515027 @ 44.453
c Restart #20 #Var: 589 #Dec: 67288 LB: -16515027 @ 46.768
c Restart #21 #Var: 588 #Dec: 71507 LB: -16515027 @ 49.163
c Restart #22 #Var: 588 #Dec: 75924 LB: -16515027 @ 52.022
c Restart #23 #Var: 588 #Dec: 80542 LB: -16515027 @ 54.659
c Restart #24 #Var: 588 #Dec: 86176 LB: -16515027 @ 58.636
c Restart #25 #Var: 588 #Dec: 91288 LB: -16515027 @ 62.863
c Restart #26 #Var: 588 #Dec: 96499 LB: -16515027 @ 100.1
c Restart #27 #Var: 588 #Dec: 102331 LB: -16515027 @ 105.48
c Restart #28 #Var: 588 #Dec: 108200 LB: -16515027 @ 112.28
c Restart #29 #Var: 588 #Dec: 114742 LB: -16515027 @ 118.03
c Restart #30 #Var: 588 #Dec: 121237 LB: -16515027 @ 125.36
c NEW SOLUTION FOUND: -209949 @ 134.5 @ #Dec. 126240
c NEW SOLUTION FOUND: -210949 @ 134.71 @ #Dec. 126542
c NEW SOLUTION FOUND: -211450 @ 135.11 @ #Dec. 126938
c NEW SOLUTION FOUND: -211465 @ 135.12 @ #Dec. 127000
c NEW SOLUTION FOUND: -211534 @ 135.3 @ #Dec. 127262
c NEW SOLUTION FOUND: -211549 @ 135.3 @ #Dec. 127300
c NEW SOLUTION FOUND: -216177 @ 136.23 @ #Dec. 128155
c NEW SOLUTION FOUND: -216201 @ 136.69 @ #Dec. 128747
c NEW SOLUTION FOUND: -216701 @ 136.72 @ #Dec. 128803
c NEW SOLUTION FOUND: -217632 @ 136.88 @ #Dec. 129086
c NEW SOLUTION FOUND: -217647 @ 136.89 @ #Dec. 129135
c NEW SOLUTION FOUND: -217662 @ 136.9 @ #Dec. 129160
c NEW SOLUTION FOUND: -217677 @ 136.9 @ #Dec. 129190
c NEW SOLUTION FOUND: -217701 @ 137.17 @ #Dec. 129539
c NEW SOLUTION FOUND: -223737 @ 137.3 @ #Dec. 129798
c NEW SOLUTION FOUND: -223836 @ 137.58 @ #Dec. 130387
c NEW SOLUTION FOUND: -223851 @ 137.58 @ #Dec. 130435
c NEW SOLUTION FOUND: -223866 @ 137.59 @ #Dec. 130472
c NEW SOLUTION FOUND: -223881 @ 137.6 @ #Dec. 130488
c NEW SOLUTION FOUND: -223896 @ 137.6 @ #Dec. 130505
c NEW SOLUTION FOUND: -223911 @ 137.61 @ #Dec. 130516
c NEW SOLUTION FOUND: -223926 @ 137.61 @ #Dec. 130534
c NEW SOLUTION FOUND: -223941 @ 137.62 @ #Dec. 130538
c NEW SOLUTION FOUND: -223986 @ 137.62 @ #Dec. 130568
c NEW SOLUTION FOUND: -224001 @ 137.63 @ #Dec. 130590
c NEW SOLUTION FOUND: -224016 @ 137.63 @ #Dec. 130612
c NEW SOLUTION FOUND: -224031 @ 137.63 @ #Dec. 130633
c NEW SOLUTION FOUND: -224043 @ 137.65 @ #Dec. 130698
c NEW SOLUTION FOUND: -224136 @ 137.76 @ #Dec. 130832
c NEW SOLUTION FOUND: -224151 @ 137.77 @ #Dec. 130865
c NEW SOLUTION FOUND: -224163 @ 137.77 @ #Dec. 130893
c NEW SOLUTION FOUND: -224178 @ 138.26 @ #Dec. 131594
c NEW SOLUTION FOUND: -224190 @ 139.81 @ #Dec. 133154
c Restart #31 #Var: 588 #Dec: 141226 LB: -16515027 @ 147.94
c Restart #32 #Var: 588 #Dec: 148372 LB: -16515027 @ 157.29
c Restart #33 #Var: 588 #Dec: 155614 LB: -16515027 @ 164.55
c NEW SOLUTION FOUND: -3002697 @ 170.62 @ #Dec. 163323
c NEW SOLUTION FOUND: -3002717 @ 170.63 @ #Dec. 163337
c NEW SOLUTION FOUND: -3002727 @ 170.66 @ #Dec. 163400
c NEW SOLUTION FOUND: -3002743 @ 170.66 @ #Dec. 163407
c NEW SOLUTION FOUND: -3002747 @ 170.67 @ #Dec. 163424
c NEW SOLUTION FOUND: -3002763 @ 170.67 @ #Dec. 163430
c NEW SOLUTION FOUND: -3002773 @ 170.67 @ #Dec. 163443
c NEW SOLUTION FOUND: -3002813 @ 170.68 @ #Dec. 163458
c NEW SOLUTION FOUND: -3002877 @ 170.82 @ #Dec. 163496
c NEW SOLUTION FOUND: -3002893 @ 170.82 @ #Dec. 163507
c NEW SOLUTION FOUND: -3002925 @ 170.84 @ #Dec. 163527
c NEW SOLUTION FOUND: -3002957 @ 170.84 @ #Dec. 163535
c NEW SOLUTION FOUND: -3002989 @ 170.84 @ #Dec. 163537
c NEW SOLUTION FOUND: -3003021 @ 170.84 @ #Dec. 163542
c NEW SOLUTION FOUND: -3003053 @ 170.84 @ #Dec. 163542
c NEW SOLUTION FOUND: -3003085 @ 170.85 @ #Dec. 163557
c NEW SOLUTION FOUND: -3003117 @ 170.85 @ #Dec. 163560
c NEW SOLUTION FOUND: -3003133 @ 170.86 @ #Dec. 163578
c NEW SOLUTION FOUND: -3003373 @ 170.87 @ #Dec. 163595
c NEW SOLUTION FOUND: -3003629 @ 170.87 @ #Dec. 163601
c NEW SOLUTION FOUND: -3003661 @ 170.87 @ #Dec. 163610
c NEW SOLUTION FOUND: -3003693 @ 170.87 @ #Dec. 163613
c NEW SOLUTION FOUND: -3003757 @ 170.88 @ #Dec. 163623
c NEW SOLUTION FOUND: -3003773 @ 170.88 @ #Dec. 163642
c NEW SOLUTION FOUND: -3003837 @ 170.89 @ #Dec. 163664
c NEW SOLUTION FOUND: -3003869 @ 170.9 @ #Dec. 163673
c NEW SOLUTION FOUND: -3003901 @ 170.9 @ #Dec. 163676
c NEW SOLUTION FOUND: -3003933 @ 170.9 @ #Dec. 163680
c NEW SOLUTION FOUND: -3003965 @ 170.9 @ #Dec. 163683
c NEW SOLUTION FOUND: -3004061 @ 170.9 @ #Dec. 163699
c NEW SOLUTION FOUND: -3004093 @ 170.91 @ #Dec. 163707
c NEW SOLUTION FOUND: -3004925 @ 170.92 @ #Dec. 163734
c NEW SOLUTION FOUND: -3004957 @ 170.92 @ #Dec. 163737
c NEW SOLUTION FOUND: -3004973 @ 170.92 @ #Dec. 163741
c NEW SOLUTION FOUND: -3005037 @ 170.93 @ #Dec. 163744
c NEW SOLUTION FOUND: -3005213 @ 170.93 @ #Dec. 163750
c NEW SOLUTION FOUND: -3005229 @ 170.94 @ #Dec. 163763
c NEW SOLUTION FOUND: -3005293 @ 170.94 @ #Dec. 163768
c NEW SOLUTION FOUND: -3005313 @ 170.94 @ #Dec. 163777
c NEW SOLUTION FOUND: -3005323 @ 170.94 @ #Dec. 163780
c NEW SOLUTION FOUND: -3006749 @ 171.11 @ #Dec. 163805
c NEW SOLUTION FOUND: -3006829 @ 171.11 @ #Dec. 163813
c NEW SOLUTION FOUND: -3006849 @ 171.12 @ #Dec. 163819
c NEW SOLUTION FOUND: -3006859 @ 171.12 @ #Dec. 163823
c NEW SOLUTION FOUND: -3007389 @ 171.12 @ #Dec. 163833
c NEW SOLUTION FOUND: -3007645 @ 171.12 @ #Dec. 163837
c NEW SOLUTION FOUND: -3007725 @ 171.13 @ #Dec. 163845
c NEW SOLUTION FOUND: -3007741 @ 171.13 @ #Dec. 163850
c NEW SOLUTION FOUND: -3007853 @ 171.13 @ #Dec. 163856
c NEW SOLUTION FOUND: -3007873 @ 171.13 @ #Dec. 163863
c NEW SOLUTION FOUND: -3007883 @ 171.13 @ #Dec. 163866
c NEW SOLUTION FOUND: -3007915 @ 171.15 @ #Dec. 163873
c NEW SOLUTION FOUND: -3007923 @ 171.26 @ #Dec. 163894
c NEW SOLUTION FOUND: -3008131 @ 172.53 @ #Dec. 164562
c NEW SOLUTION FOUND: -3008451 @ 172.54 @ #Dec. 164598
c NEW SOLUTION FOUND: -3008771 @ 172.55 @ #Dec. 164614
c NEW SOLUTION FOUND: -3008911 @ 172.55 @ #Dec. 164622
c NEW SOLUTION FOUND: -3009411 @ 172.56 @ #Dec. 164629
c NEW SOLUTION FOUND: -3009621 @ 172.57 @ #Dec. 164653
c NEW SOLUTION FOUND: -3011267 @ 172.58 @ #Dec. 164682
c NEW SOLUTION FOUND: -3011605 @ 172.59 @ #Dec. 164689
c NEW SOLUTION FOUND: -3011855 @ 172.72 @ #Dec. 164800
c NEW SOLUTION FOUND: -3079901 @ 173.09 @ #Dec. 165122
c NEW SOLUTION FOUND: -3079917 @ 173.1 @ #Dec. 165127
c NEW SOLUTION FOUND: -3080157 @ 173.1 @ #Dec. 165137
c NEW SOLUTION FOUND: -3080165 @ 173.11 @ #Dec. 165139
c NEW SOLUTION FOUND: -3080193 @ 173.11 @ #Dec. 165145
c NEW SOLUTION FOUND: -3080203 @ 173.11 @ #Dec. 165146
c NEW SOLUTION FOUND: -3080211 @ 173.11 @ #Dec. 165150
c NEW SOLUTION FOUND: -3082557 @ 173.67 @ #Dec. 165650
c NEW SOLUTION FOUND: -3082567 @ 173.68 @ #Dec. 165655
c NEW SOLUTION FOUND: -3083933 @ 173.74 @ #Dec. 165731
c NEW SOLUTION FOUND: -3084143 @ 173.74 @ #Dec. 165738
c NEW SOLUTION FOUND: -3186893 @ 174.71 @ #Dec. 166532
c NEW SOLUTION FOUND: -3186947 @ 174.71 @ #Dec. 166537
c NEW SOLUTION FOUND: -3188029 @ 174.79 @ #Dec. 166641
c NEW SOLUTION FOUND: -3188329 @ 174.79 @ #Dec. 166651
c NEW SOLUTION FOUND: -3188339 @ 174.8 @ #Dec. 166660
c NEW SOLUTION FOUND: -3188497 @ 174.82 @ #Dec. 166718
c NEW SOLUTION FOUND: -3188515 @ 174.82 @ #Dec. 166724
c NEW SOLUTION FOUND: -3190863 @ 174.94 @ #Dec. 166852
c NEW SOLUTION FOUND: -3190871 @ 175.02 @ #Dec. 166922
c NEW SOLUTION FOUND: -3192053 @ 175.08 @ #Dec. 167000
c NEW SOLUTION FOUND: -3192375 @ 175.09 @ #Dec. 167013
c NEW SOLUTION FOUND: -3193405 @ 175.22 @ #Dec. 167147
c NEW SOLUTION FOUND: -3193865 @ 175.22 @ #Dec. 167159
c NEW SOLUTION FOUND: -3193875 @ 175.22 @ #Dec. 167168
c NEW SOLUTION FOUND: -3194685 @ 175.28 @ #Dec. 167304
c NEW SOLUTION FOUND: -3194865 @ 175.28 @ #Dec. 167313
c NEW SOLUTION FOUND: -3194875 @ 175.29 @ #Dec. 167319
c NEW SOLUTION FOUND: -3199805 @ 175.85 @ #Dec. 167959
c NEW SOLUTION FOUND: -3200445 @ 175.86 @ #Dec. 167974
c NEW SOLUTION FOUND: -3203645 @ 175.9 @ #Dec. 168027
c NEW SOLUTION FOUND: -3203875 @ 175.91 @ #Dec. 168038
c NEW SOLUTION FOUND: -3204875 @ 175.98 @ #Dec. 168113
c NEW SOLUTION FOUND: -3205375 @ 176.06 @ #Dec. 168194
c NEW SOLUTION FOUND: -3205889 @ 176.25 @ #Dec. 168363
c NEW SOLUTION FOUND: -3205899 @ 176.25 @ #Dec. 168370
c NEW SOLUTION FOUND: -3206339 @ 176.28 @ #Dec. 168407
c NEW SOLUTION FOUND: -3206399 @ 176.52 @ #Dec. 168602
c NEW SOLUTION FOUND: -3206839 @ 176.59 @ #Dec. 168658
c NEW SOLUTION FOUND: -3627709 @ 177.35 @ #Dec. 168853
c NEW SOLUTION FOUND: -3628989 @ 177.47 @ #Dec. 168941
c NEW SOLUTION FOUND: -3629633 @ 177.56 @ #Dec. 168978
c NEW SOLUTION FOUND: -3629643 @ 177.58 @ #Dec. 169000
c NEW SOLUTION FOUND: -3630013 @ 177.85 @ #Dec. 169277
c NEW SOLUTION FOUND: -3630269 @ 178.07 @ #Dec. 169346
c NEW SOLUTION FOUND: -3631293 @ 178.07 @ #Dec. 169359
c NEW SOLUTION FOUND: -3692855 @ 178.45 @ #Dec. 169465
c NEW SOLUTION FOUND: -3693879 @ 178.45 @ #Dec. 169472
c NEW SOLUTION FOUND: -3709239 @ 178.46 @ #Dec. 169489
c NEW SOLUTION FOUND: -3710263 @ 178.46 @ #Dec. 169496
c NEW SOLUTION FOUND: -3710653 @ 178.69 @ #Dec. 169635
c NEW SOLUTION FOUND: -3711533 @ 178.97 @ #Dec. 169722
c NEW SOLUTION FOUND: -3711563 @ 178.98 @ #Dec. 169733
c NEW SOLUTION FOUND: -3713093 @ 179.17 @ #Dec. 169821
c NEW SOLUTION FOUND: -3713193 @ 179.44 @ #Dec. 169940
c NEW SOLUTION FOUND: -3713203 @ 179.47 @ #Dec. 169959
c NEW SOLUTION FOUND: -3713313 @ 180.02 @ #Dec. 170298
c NEW SOLUTION FOUND: -3713373 @ 180.12 @ #Dec. 170364
c NEW SOLUTION FOUND: -3713533 @ 180.14 @ #Dec. 170394
c NEW SOLUTION FOUND: -3713613 @ 180.19 @ #Dec. 170437
c NEW SOLUTION FOUND: -3713633 @ 180.19 @ #Dec. 170453
c NEW SOLUTION FOUND: -3713693 @ 180.25 @ #Dec. 170500
c NEW SOLUTION FOUND: -3713743 @ 180.26 @ #Dec. 170516
c NEW SOLUTION FOUND: -3714653 @ 180.72 @ #Dec. 170778
c NEW SOLUTION FOUND: -3714973 @ 180.73 @ #Dec. 170795
c NEW SOLUTION FOUND: -3715293 @ 180.73 @ #Dec. 170812
c NEW SOLUTION FOUND: -3715523 @ 180.74 @ #Dec. 170828
c NEW SOLUTION FOUND: -3715583 @ 180.97 @ #Dec. 170983
c NEW SOLUTION FOUND: -3715613 @ 180.98 @ #Dec. 171001
c NEW SOLUTION FOUND: -3715773 @ 180.98 @ #Dec. 171017
c NEW SOLUTION FOUND: -3715933 @ 180.99 @ #Dec. 171038
c NEW SOLUTION FOUND: -3716253 @ 181 @ #Dec. 171055
c NEW SOLUTION FOUND: -3716413 @ 181 @ #Dec. 171072
c NEW SOLUTION FOUND: -3716573 @ 181.01 @ #Dec. 171092
c NEW SOLUTION FOUND: -3716863 @ 181.02 @ #Dec. 171106
c NEW SOLUTION FOUND: -3716973 @ 181.03 @ #Dec. 171127
c NEW SOLUTION FOUND: -3717053 @ 181.04 @ #Dec. 171145
c NEW SOLUTION FOUND: -3717293 @ 181.11 @ #Dec. 171192
c NEW SOLUTION FOUND: -3717373 @ 181.12 @ #Dec. 171207
c NEW SOLUTION FOUND: -3717593 @ 181.12 @ #Dec. 171226
c NEW SOLUTION FOUND: -3717653 @ 181.28 @ #Dec. 171304
c NEW SOLUTION FOUND: -3717693 @ 181.28 @ #Dec. 171321
c NEW SOLUTION FOUND: -3717813 @ 181.32 @ #Dec. 171353
c NEW SOLUTION FOUND: -3717923 @ 181.34 @ #Dec. 171387
c NEW SOLUTION FOUND: -3718033 @ 181.55 @ #Dec. 171513
c NEW SOLUTION FOUND: -3718143 @ 181.59 @ #Dec. 171549
c NEW SOLUTION FOUND: -3718363 @ 181.63 @ #Dec. 171579
c NEW SOLUTION FOUND: -3718473 @ 181.7 @ #Dec. 171645
c NEW SOLUTION FOUND: -3718583 @ 181.74 @ #Dec. 171683
c NEW SOLUTION FOUND: -3718623 @ 181.8 @ #Dec. 171732
c NEW SOLUTION FOUND: -3718653 @ 181.8 @ #Dec. 171746
c NEW SOLUTION FOUND: -3718683 @ 181.82 @ #Dec. 171784
c NEW SOLUTION FOUND: -3718903 @ 181.9 @ #Dec. 171825
c NEW SOLUTION FOUND: -3718943 @ 181.99 @ #Dec. 171911
c NEW SOLUTION FOUND: -3718973 @ 181.99 @ #Dec. 171926
c NEW SOLUTION FOUND: -3719013 @ 182.05 @ #Dec. 171995
c NEW SOLUTION FOUND: -3719053 @ 182.06 @ #Dec. 172009
c NEW SOLUTION FOUND: -3719103 @ 182.06 @ #Dec. 172023
c NEW SOLUTION FOUND: -3719123 @ 182.06 @ #Dec. 172035
c NEW SOLUTION FOUND: -3719213 @ 182.1 @ #Dec. 172068
c NEW SOLUTION FOUND: -3719233 @ 182.1 @ #Dec. 172082
c NEW SOLUTION FOUND: -3719473 @ 182.29 @ #Dec. 172172
c NEW SOLUTION FOUND: -3719493 @ 182.29 @ #Dec. 172184
c NEW SOLUTION FOUND: -3719533 @ 182.3 @ #Dec. 172197
c NEW SOLUTION FOUND: -3719563 @ 182.37 @ #Dec. 172240
c NEW SOLUTION FOUND: -3719673 @ 182.8 @ #Dec. 172331
c NEW SOLUTION FOUND: -3719933 @ 182.93 @ #Dec. 172437
c NEW SOLUTION FOUND: -3720013 @ 182.94 @ #Dec. 172453
c NEW SOLUTION FOUND: -3720043 @ 182.94 @ #Dec. 172465
c NEW SOLUTION FOUND: -3720173 @ 182.96 @ #Dec. 172484
c NEW SOLUTION FOUND: -3720253 @ 182.96 @ #Dec. 172500
c NEW SOLUTION FOUND: -3720433 @ 183 @ #Dec. 172539
c NEW SOLUTION FOUND: -3720573 @ 183.01 @ #Dec. 172561
c NEW SOLUTION FOUND: -3720653 @ 183.01 @ #Dec. 172579
c NEW SOLUTION FOUND: -3720973 @ 183.07 @ #Dec. 172614
c NEW SOLUTION FOUND: -3721213 @ 183.18 @ #Dec. 172676
c NEW SOLUTION FOUND: -3721413 @ 183.18 @ #Dec. 172691
c NEW SOLUTION FOUND: -3721533 @ 183.33 @ #Dec. 172768
c NEW SOLUTION FOUND: -3721563 @ 183.34 @ #Dec. 172784
c NEW SOLUTION FOUND: -3722063 @ 183.36 @ #Dec. 172798
c NEW SOLUTION FOUND: -3722493 @ 183.53 @ #Dec. 172865
c NEW SOLUTION FOUND: -3722613 @ 183.54 @ #Dec. 172880
c NEW SOLUTION FOUND: -3722753 @ 183.61 @ #Dec. 172911
c NEW SOLUTION FOUND: -3722763 @ 183.61 @ #Dec. 172922
c NEW SOLUTION FOUND: -3722813 @ 183.63 @ #Dec. 172944
c NEW SOLUTION FOUND: -3722893 @ 183.64 @ #Dec. 172965
c NEW SOLUTION FOUND: -3722973 @ 183.65 @ #Dec. 172980
c NEW SOLUTION FOUND: -3723133 @ 183.65 @ #Dec. 172995
c NEW SOLUTION FOUND: -3723313 @ 183.66 @ #Dec. 173011
c NEW SOLUTION FOUND: -3723373 @ 183.68 @ #Dec. 173029
c NEW SOLUTION FOUND: -3723453 @ 183.68 @ #Dec. 173043
c NEW SOLUTION FOUND: -3723613 @ 183.72 @ #Dec. 173066
c NEW SOLUTION FOUND: -3723693 @ 183.73 @ #Dec. 173081
c NEW SOLUTION FOUND: -3723773 @ 183.73 @ #Dec. 173095
c NEW SOLUTION FOUND: -3723813 @ 183.74 @ #Dec. 173113
c NEW SOLUTION FOUND: -3723933 @ 183.79 @ #Dec. 173143
c NEW SOLUTION FOUND: -3724093 @ 183.8 @ #Dec. 173158
c NEW SOLUTION FOUND: -3724243 @ 183.84 @ #Dec. 173185
c NEW SOLUTION FOUND: -3730717 @ 184.28 @ #Dec. 173330
c NEW SOLUTION FOUND: -3734813 @ 184.28 @ #Dec. 173339
c NEW SOLUTION FOUND: -3735837 @ 184.28 @ #Dec. 173346
c NEW SOLUTION FOUND: -3736317 @ 184.29 @ #Dec. 173351
c NEW SOLUTION FOUND: -3736337 @ 184.29 @ #Dec. 173363
c NEW SOLUTION FOUND: -3736593 @ 184.3 @ #Dec. 173368
c NEW SOLUTION FOUND: -3736817 @ 184.3 @ #Dec. 173372
c NEW SOLUTION FOUND: -3736847 @ 184.37 @ #Dec. 173473
c NEW SOLUTION FOUND: -3736903 @ 184.38 @ #Dec. 173475
c NEW SOLUTION FOUND: -3737347 @ 184.38 @ #Dec. 173490
c NEW SOLUTION FOUND: -3737403 @ 184.38 @ #Dec. 173492
c NEW SOLUTION FOUND: -3737605 @ 184.4 @ #Dec. 173515
c NEW SOLUTION FOUND: -3737907 @ 184.46 @ #Dec. 173572
c NEW SOLUTION FOUND: -3738183 @ 184.49 @ #Dec. 173601
c NEW SOLUTION FOUND: -3738201 @ 184.5 @ #Dec. 173618
c NEW SOLUTION FOUND: -3738289 @ 184.55 @ #Dec. 173690
c NEW SOLUTION FOUND: -3738353 @ 184.55 @ #Dec. 173693
c NEW SOLUTION FOUND: -3738433 @ 184.55 @ #Dec. 173699
c NEW SOLUTION FOUND: -3738451 @ 184.56 @ #Dec. 173722
c NEW SOLUTION FOUND: -3744459 @ 184.71 @ #Dec. 173848
c NEW SOLUTION FOUND: -3744523 @ 184.71 @ #Dec. 173851
c NEW SOLUTION FOUND: -3744539 @ 184.71 @ #Dec. 173854
c NEW SOLUTION FOUND: -3744549 @ 184.72 @ #Dec. 173857
c NEW SOLUTION FOUND: -3744557 @ 184.72 @ #Dec. 173857
c NEW SOLUTION FOUND: -3745039 @ 184.73 @ #Dec. 173872
c NEW SOLUTION FOUND: -3745057 @ 184.74 @ #Dec. 173879
c NEW SOLUTION FOUND: -3745289 @ 184.78 @ #Dec. 173914
c NEW SOLUTION FOUND: -3745299 @ 184.78 @ #Dec. 173921
c NEW SOLUTION FOUND: -3745307 @ 184.78 @ #Dec. 173921
c NEW SOLUTION FOUND: -3750387 @ 185.06 @ #Dec. 174016
c NEW SOLUTION FOUND: -3750887 @ 185.06 @ #Dec. 174027
c NEW SOLUTION FOUND: -3751137 @ 185.12 @ #Dec. 174060
c NEW SOLUTION FOUND: -3751229 @ 185.16 @ #Dec. 174084
c NEW SOLUTION FOUND: -3751467 @ 185.21 @ #Dec. 174122
c NEW SOLUTION FOUND: -3753039 @ 188.01 @ #Dec. 174630
c NEW SOLUTION FOUND: -3753539 @ 188.09 @ #Dec. 174695
c NEW SOLUTION FOUND: -3753729 @ 188.22 @ #Dec. 174820
c NEW SOLUTION FOUND: -3753789 @ 188.35 @ #Dec. 174950
c NEW SOLUTION FOUND: -3756945 @ 188.48 @ #Dec. 175111
c NEW SOLUTION FOUND: -3756965 @ 188.49 @ #Dec. 175119
c NEW SOLUTION FOUND: -3757445 @ 188.49 @ #Dec. 175127
c NEW SOLUTION FOUND: -3757465 @ 188.49 @ #Dec. 175134
c NEW SOLUTION FOUND: -3758143 @ 188.51 @ #Dec. 175153
c NEW SOLUTION FOUND: -3758893 @ 188.51 @ #Dec. 175165
c NEW SOLUTION FOUND: -3758975 @ 188.53 @ #Dec. 175185
c NEW SOLUTION FOUND: -3759003 @ 188.53 @ #Dec. 175187
c NEW SOLUTION FOUND: -3759027 @ 188.61 @ #Dec. 175229
c NEW SOLUTION FOUND: -3759277 @ 188.63 @ #Dec. 175244
c NEW SOLUTION FOUND: -3759699 @ 190.11 @ #Dec. 175390
c NEW SOLUTION FOUND: -3759701 @ 206.5 @ #Dec. 176966
c NEW SOLUTION FOUND: -3759834 @ 209.81 @ #Dec. 177197
c NEW SOLUTION FOUND: -3759849 @ 209.81 @ #Dec. 177197
c NEW SOLUTION FOUND: -3759864 @ 209.81 @ #Dec. 177198
c NEW SOLUTION FOUND: -3759879 @ 209.81 @ #Dec. 177198
c NEW SOLUTION FOUND: -3759909 @ 209.82 @ #Dec. 177200
c NEW SOLUTION FOUND: -3759939 @ 209.82 @ #Dec. 177201
c NEW SOLUTION FOUND: -3760084 @ 213.32 @ #Dec. 177655
c NEW SOLUTION FOUND: -3760099 @ 213.32 @ #Dec. 177657
c NEW SOLUTION FOUND: -3760114 @ 213.32 @ #Dec. 177661
c NEW SOLUTION FOUND: -3760129 @ 213.32 @ #Dec. 177664
c NEW SOLUTION FOUND: -3760130 @ 213.39 @ #Dec. 177679
c NEW SOLUTION FOUND: -3760145 @ 213.4 @ #Dec. 177688
c NEW SOLUTION FOUND: -3760257 @ 213.46 @ #Dec. 177700
c NEW SOLUTION FOUND: -3760679 @ 213.8 @ #Dec. 177716
c NEW SOLUTION FOUND: -3760917 @ 215.02 @ #Dec. 177843
c NEW SOLUTION FOUND: -3761155 @ 216.65 @ #Dec. 177963
c NEW SOLUTION FOUND: -3761209 @ 218.41 @ #Dec. 178148
c NEW SOLUTION FOUND: -3761391 @ 219.09 @ #Dec. 178177
c NEW SOLUTION FOUND: -3761526 @ 219.41 @ #Dec. 178201
c NEW SOLUTION FOUND: -3761541 @ 219.41 @ #Dec. 178201
c NEW SOLUTION FOUND: -3761556 @ 219.41 @ #Dec. 178202
c NEW SOLUTION FOUND: -3761571 @ 219.41 @ #Dec. 178202
c NEW SOLUTION FOUND: -3761586 @ 219.41 @ #Dec. 178204
c NEW SOLUTION FOUND: -3761601 @ 219.42 @ #Dec. 178204
c NEW SOLUTION FOUND: -3761631 @ 219.42 @ #Dec. 178205
c NEW SOLUTION FOUND: -3761764 @ 222.79 @ #Dec. 178463
c NEW SOLUTION FOUND: -3761779 @ 222.79 @ #Dec. 178463
c NEW SOLUTION FOUND: -3761794 @ 222.79 @ #Dec. 178464
c NEW SOLUTION FOUND: -3761809 @ 222.79 @ #Dec. 178464
c NEW SOLUTION FOUND: -3761824 @ 222.8 @ #Dec. 178466
c NEW SOLUTION FOUND: -3761839 @ 222.8 @ #Dec. 178466
c NEW SOLUTION FOUND: -3761869 @ 222.8 @ #Dec. 178467
c NEW SOLUTION FOUND: -3762047 @ 225.13 @ #Dec. 178603
c NEW SOLUTION FOUND: -3762107 @ 225.13 @ #Dec. 178605
c NEW SOLUTION FOUND: -3762161 @ 228.18 @ #Dec. 178781
c NEW SOLUTION FOUND: -3762283 @ 228.25 @ #Dec. 178799
c NEW SOLUTION FOUND: -3762313 @ 228.26 @ #Dec. 178801
c NEW SOLUTION FOUND: -3762343 @ 228.26 @ #Dec. 178802
c NEW SOLUTION FOUND: -3762493 @ 228.3 @ #Dec. 178820
c NEW SOLUTION FOUND: -3762523 @ 228.3 @ #Dec. 178821
c NEW SOLUTION FOUND: -3762553 @ 228.31 @ #Dec. 178823
c NEW SOLUTION FOUND: -3762583 @ 228.31 @ #Dec. 178824
c NEW SOLUTION FOUND: -3762607 @ 229.45 @ #Dec. 178943
c NEW SOLUTION FOUND: -3762637 @ 229.46 @ #Dec. 178947
c NEW SOLUTION FOUND: -3763059 @ 229.58 @ #Dec. 178961
c NEW SOLUTION FOUND: -3764741 @ 239.65 @ #Dec. 179905
c NEW SOLUTION FOUND: -3764961 @ 239.94 @ #Dec. 179970
c NEW SOLUTION FOUND: -3765035 @ 240.06 @ #Dec. 180002
c NEW SOLUTION FOUND: -3765111 @ 240.22 @ #Dec. 180091
c NEW SOLUTION FOUND: -3765121 @ 240.22 @ #Dec. 180099
c NEW SOLUTION FOUND: -3765401 @ 240.37 @ #Dec. 180145
c NEW SOLUTION FOUND: -3765467 @ 240.38 @ #Dec. 180165
c NEW SOLUTION FOUND: -3765539 @ 240.43 @ #Dec. 180182
c NEW SOLUTION FOUND: -3766043 @ 240.59 @ #Dec. 180228
c NEW SOLUTION FOUND: -3767261 @ 240.74 @ #Dec. 180263
c NEW SOLUTION FOUND: -3767401 @ 240.79 @ #Dec. 180296
c NEW SOLUTION FOUND: -3767451 @ 240.86 @ #Dec. 180335
c NEW SOLUTION FOUND: -3768075 @ 240.95 @ #Dec. 180371
c NEW SOLUTION FOUND: -3768155 @ 240.97 @ #Dec. 180388
c NEW SOLUTION FOUND: -3768555 @ 241.01 @ #Dec. 180405
c NEW SOLUTION FOUND: -3768931 @ 241.1 @ #Dec. 180436
c NEW SOLUTION FOUND: -3768967 @ 241.11 @ #Dec. 180445
c NEW SOLUTION FOUND: -3768977 @ 241.11 @ #Dec. 180446
c NEW SOLUTION FOUND: -3769059 @ 241.12 @ #Dec. 180459
c NEW SOLUTION FOUND: -3770779 @ 241.21 @ #Dec. 180505
c NEW SOLUTION FOUND: -3771035 @ 241.26 @ #Dec. 180529
c NEW SOLUTION FOUND: -3771067 @ 241.31 @ #Dec. 180547
c NEW SOLUTION FOUND: -3772939 @ 241.52 @ #Dec. 180600
c NEW SOLUTION FOUND: -3772959 @ 241.54 @ #Dec. 180612
c NEW SOLUTION FOUND: -3772969 @ 241.54 @ #Dec. 180619
c NEW SOLUTION FOUND: -3773963 @ 241.56 @ #Dec. 180635
c NEW SOLUTION FOUND: -3773993 @ 241.57 @ #Dec. 180641
c NEW SOLUTION FOUND: -3774513 @ 241.58 @ #Dec. 180641
c NEW SOLUTION FOUND: -3774591 @ 242.19 @ #Dec. 180782
c NEW SOLUTION FOUND: -3774607 @ 242.29 @ #Dec. 180829
c NEW SOLUTION FOUND: -3774622 @ 242.31 @ #Dec. 180855
c NEW SOLUTION FOUND: -3774637 @ 242.36 @ #Dec. 180869
c NEW SOLUTION FOUND: -3774687 @ 242.4 @ #Dec. 180892
c NEW SOLUTION FOUND: -3774702 @ 242.44 @ #Dec. 180904
c NEW SOLUTION FOUND: -3774717 @ 242.45 @ #Dec. 180912
c NEW SOLUTION FOUND: -3774799 @ 242.47 @ #Dec. 180922
c NEW SOLUTION FOUND: -3774814 @ 242.49 @ #Dec. 180933
c NEW SOLUTION FOUND: -3774829 @ 242.5 @ #Dec. 180943
c NEW SOLUTION FOUND: -3775013 @ 242.71 @ #Dec. 181008
c NEW SOLUTION FOUND: -3775221 @ 242.79 @ #Dec. 181027
c NEW SOLUTION FOUND: -3775236 @ 242.79 @ #Dec. 181028
c NEW SOLUTION FOUND: -3775251 @ 242.79 @ #Dec. 181028
c NEW SOLUTION FOUND: -3775652 @ 243.91 @ #Dec. 181196
c NEW SOLUTION FOUND: -3775667 @ 243.91 @ #Dec. 181196
c NEW SOLUTION FOUND: -3775682 @ 243.93 @ #Dec. 181200
c NEW SOLUTION FOUND: -3775697 @ 243.94 @ #Dec. 181200
c NEW SOLUTION FOUND: -3775712 @ 243.94 @ #Dec. 181201
c NEW SOLUTION FOUND: -3775727 @ 243.94 @ #Dec. 181201
c NEW SOLUTION FOUND: -3775875 @ 245.81 @ #Dec. 181580
c NEW SOLUTION FOUND: -3775890 @ 245.81 @ #Dec. 181581
c NEW SOLUTION FOUND: -3775905 @ 245.81 @ #Dec. 181581
c NEW SOLUTION FOUND: -3775920 @ 245.84 @ #Dec. 181587
c NEW SOLUTION FOUND: -3775935 @ 245.84 @ #Dec. 181587
c NEW SOLUTION FOUND: -3775965 @ 245.84 @ #Dec. 181588
c NEW SOLUTION FOUND: -3776113 @ 246.06 @ #Dec. 181643
c NEW SOLUTION FOUND: -3776143 @ 246.06 @ #Dec. 181644
c NEW SOLUTION FOUND: -3776173 @ 246.08 @ #Dec. 181649
c NEW SOLUTION FOUND: -3776203 @ 246.09 @ #Dec. 181650
c NEW SOLUTION FOUND: -3776209 @ 247.15 @ #Dec. 181864
c NEW SOLUTION FOUND: -3776257 @ 247.17 @ #Dec. 181871
c NEW SOLUTION FOUND: -3776559 @ 247.27 @ #Dec. 181882
c NEW SOLUTION FOUND: -3776619 @ 247.3 @ #Dec. 181898
c NEW SOLUTION FOUND: -3776679 @ 247.32 @ #Dec. 181903
c NEW SOLUTION FOUND: -3776857 @ 248.02 @ #Dec. 182063
c NEW SOLUTION FOUND: -3776917 @ 248.03 @ #Dec. 182066
c NEW SOLUTION FOUND: -3777155 @ 248.67 @ #Dec. 182181
c NEW SOLUTION FOUND: -3777163 @ 250.87 @ #Dec. 182572
c NEW SOLUTION FOUND: -3777164 @ 250.87 @ #Dec. 182575
c NEW SOLUTION FOUND: -3777179 @ 250.87 @ #Dec. 182577
c NEW SOLUTION FOUND: -3777209 @ 250.91 @ #Dec. 182591
c NEW SOLUTION FOUND: -3777391 @ 251.01 @ #Dec. 182600
c NEW SOLUTION FOUND: -3777556 @ 251.05 @ #Dec. 182619
c NEW SOLUTION FOUND: -3777571 @ 251.05 @ #Dec. 182620
c NEW SOLUTION FOUND: -3777631 @ 251.05 @ #Dec. 182623
c NEW SOLUTION FOUND: -3777867 @ 251.79 @ #Dec. 182754
c NEW SOLUTION FOUND: -3778107 @ 251.83 @ #Dec. 182774
c NEW SOLUTION FOUND: -3778141 @ 254.59 @ #Dec. 183152
c NEW SOLUTION FOUND: -3778173 @ 254.6 @ #Dec. 183158
c NEW SOLUTION FOUND: -3778189 @ 254.61 @ #Dec. 183162
c NEW SOLUTION FOUND: -3778219 @ 254.62 @ #Dec. 183172
c NEW SOLUTION FOUND: -3778263 @ 254.65 @ #Dec. 183190
c NEW SOLUTION FOUND: -3778279 @ 254.66 @ #Dec. 183200
c NEW SOLUTION FOUND: -3778287 @ 254.71 @ #Dec. 183217
c NEW SOLUTION FOUND: -3778351 @ 254.76 @ #Dec. 183232
c NEW SOLUTION FOUND: -3778383 @ 254.8 @ #Dec. 183245
c NEW SOLUTION FOUND: -3778399 @ 254.81 @ #Dec. 183253
c NEW SOLUTION FOUND: -3778821 @ 254.88 @ #Dec. 183269
c NEW SOLUTION FOUND: -3779059 @ 255.45 @ #Dec. 183402
c NEW SOLUTION FOUND: -3779221 @ 258.09 @ #Dec. 183879
c NEW SOLUTION FOUND: -3779236 @ 258.09 @ #Dec. 183880
c NEW SOLUTION FOUND: -3779251 @ 258.09 @ #Dec. 183880
c NEW SOLUTION FOUND: -3779979 @ 259.39 @ #Dec. 184156
c NEW SOLUTION FOUND: -3779999 @ 259.39 @ #Dec. 184162
c NEW SOLUTION FOUND: -3780009 @ 259.4 @ #Dec. 184167
c NEW SOLUTION FOUND: -3780024 @ 259.4 @ #Dec. 184177
c NEW SOLUTION FOUND: -3780029 @ 259.41 @ #Dec. 184184
c NEW SOLUTION FOUND: -3780039 @ 259.41 @ #Dec. 184190
c NEW SOLUTION FOUND: -3780529 @ 259.42 @ #Dec. 184192
c NEW SOLUTION FOUND: -3780544 @ 259.42 @ #Dec. 184193
c NEW SOLUTION FOUND: -3780559 @ 259.42 @ #Dec. 184193
c NEW SOLUTION FOUND: -3780574 @ 259.44 @ #Dec. 184210
c NEW SOLUTION FOUND: -3780589 @ 259.44 @ #Dec. 184210
c NEW SOLUTION FOUND: -3780604 @ 259.44 @ #Dec. 184211
c NEW SOLUTION FOUND: -3780619 @ 259.44 @ #Dec. 184211
c NEW SOLUTION FOUND: -3780679 @ 259.46 @ #Dec. 184230
c NEW SOLUTION FOUND: -3780857 @ 260.08 @ #Dec. 184371
c NEW SOLUTION FOUND: -3780917 @ 260.09 @ #Dec. 184375
c NEW SOLUTION FOUND: -3781095 @ 260.61 @ #Dec. 184485
c NEW SOLUTION FOUND: -3781155 @ 260.62 @ #Dec. 184489
c NEW SOLUTION FOUND: -3781193 @ 261.3 @ #Dec. 184676
c NEW SOLUTION FOUND: -3781209 @ 261.32 @ #Dec. 184686
c NEW SOLUTION FOUND: -3781391 @ 261.48 @ #Dec. 184697
c NEW SOLUTION FOUND: -3781631 @ 261.5 @ #Dec. 184712
c NEW SOLUTION FOUND: -3781869 @ 262.02 @ #Dec. 184822
c NEW SOLUTION FOUND: -3782107 @ 262.55 @ #Dec. 184923
c NEW SOLUTION FOUND: -3782129 @ 263.76 @ #Dec. 185148
c NEW SOLUTION FOUND: -3782143 @ 263.77 @ #Dec. 185160
c NEW SOLUTION FOUND: -3782159 @ 263.79 @ #Dec. 185169
c NEW SOLUTION FOUND: -3782167 @ 263.82 @ #Dec. 185188
c NEW SOLUTION FOUND: -3782231 @ 263.83 @ #Dec. 185198
c NEW SOLUTION FOUND: -3782263 @ 263.84 @ #Dec. 185207
c NEW SOLUTION FOUND: -3782279 @ 263.85 @ #Dec. 185213
c NEW SOLUTION FOUND: -3782287 @ 263.87 @ #Dec. 185228
c NEW SOLUTION FOUND: -3782399 @ 263.89 @ #Dec. 185240
c NEW SOLUTION FOUND: -3782821 @ 263.98 @ #Dec. 185262
c NEW SOLUTION FOUND: -3783059 @ 264.54 @ #Dec. 185368
c NEW SOLUTION FOUND: -3783145 @ 266.66 @ #Dec. 185752
c NEW SOLUTION FOUND: -3783175 @ 266.71 @ #Dec. 185776
c NEW SOLUTION FOUND: -3783265 @ 266.72 @ #Dec. 185793
c NEW SOLUTION FOUND: -3783285 @ 266.73 @ #Dec. 185803
c NEW SOLUTION FOUND: -3783295 @ 266.73 @ #Dec. 185812
c NEW SOLUTION FOUND: -3783385 @ 266.74 @ #Dec. 185828
c NEW SOLUTION FOUND: -3783415 @ 266.76 @ #Dec. 185848
c NEW SOLUTION FOUND: -3783623 @ 266.91 @ #Dec. 185903
c NEW SOLUTION FOUND: -3783653 @ 266.94 @ #Dec. 185924
c NEW SOLUTION FOUND: -3783671 @ 267.06 @ #Dec. 185963
c NEW SOLUTION FOUND: -3783751 @ 267.1 @ #Dec. 185982
c NEW SOLUTION FOUND: -3783781 @ 267.14 @ #Dec. 186008
c NEW SOLUTION FOUND: -3783861 @ 267.16 @ #Dec. 186034
c NEW SOLUTION FOUND: -3783881 @ 267.17 @ #Dec. 186050
c NEW SOLUTION FOUND: -3783891 @ 267.18 @ #Dec. 186065
c NEW SOLUTION FOUND: -3783907 @ 267.32 @ #Dec. 186110
c NEW SOLUTION FOUND: -3784097 @ 267.35 @ #Dec. 186136
c NEW SOLUTION FOUND: -3784337 @ 267.41 @ #Dec. 186158
c NEW SOLUTION FOUND: -3784367 @ 267.43 @ #Dec. 186177
c NEW SOLUTION FOUND: -3784575 @ 267.58 @ #Dec. 186215
c NEW SOLUTION FOUND: -3784595 @ 267.6 @ #Dec. 186235
c NEW SOLUTION FOUND: -3784605 @ 267.6 @ #Dec. 186248
c NEW SOLUTION FOUND: -3784813 @ 267.74 @ #Dec. 186281
c NEW SOLUTION FOUND: -3784843 @ 267.76 @ #Dec. 186300
c NEW SOLUTION FOUND: -3784859 @ 282.87 @ #Dec. 187681
c NEW SOLUTION FOUND: -3784923 @ 282.92 @ #Dec. 187716
c NEW SOLUTION FOUND: -3784951 @ 282.93 @ #Dec. 187731
c NEW SOLUTION FOUND: -3784969 @ 282.94 @ #Dec. 187734
c NEW SOLUTION FOUND: -3785003 @ 283.17 @ #Dec. 187822
c NEW SOLUTION FOUND: -3785051 @ 283.25 @ #Dec. 187852
c NEW SOLUTION FOUND: -3788891 @ 283.4 @ #Dec. 187984
c NEW SOLUTION FOUND: -3788947 @ 283.4 @ #Dec. 187990
c NEW SOLUTION FOUND: -3788985 @ 283.49 @ #Dec. 188050
c NEW SOLUTION FOUND: -3788993 @ 283.5 @ #Dec. 188050
c NEW SOLUTION FOUND: -3789067 @ 283.5 @ #Dec. 188058
c NEW SOLUTION FOUND: -3789979 @ 283.72 @ #Dec. 188252
c NEW SOLUTION FOUND: -3790059 @ 283.73 @ #Dec. 188263
c NEW SOLUTION FOUND: -3790955 @ 283.74 @ #Dec. 188275
c NEW SOLUTION FOUND: -3791083 @ 283.74 @ #Dec. 188286
c NEW SOLUTION FOUND: -3791111 @ 283.83 @ #Dec. 188308
c NEW SOLUTION FOUND: -3791129 @ 283.83 @ #Dec. 188309
c NEW SOLUTION FOUND: -3791303 @ 283.97 @ #Dec. 188429
c NEW SOLUTION FOUND: -3792513 @ 284.04 @ #Dec. 188463
c NEW SOLUTION FOUND: -3792783 @ 286.47 @ #Dec. 188856
c NEW SOLUTION FOUND: -3792813 @ 286.47 @ #Dec. 188861
c NEW SOLUTION FOUND: -3792849 @ 286.49 @ #Dec. 188874
c NEW SOLUTION FOUND: -3792969 @ 286.96 @ #Dec. 188982
c NEW SOLUTION FOUND: -3794505 @ 286.97 @ #Dec. 188994
c NEW SOLUTION FOUND: -3794513 @ 286.98 @ #Dec. 188995
c NEW SOLUTION FOUND: -3794829 @ 287.27 @ #Dec. 189075
c NEW SOLUTION FOUND: -3794903 @ 287.36 @ #Dec. 189130
c NEW SOLUTION FOUND: -3795013 @ 287.47 @ #Dec. 189157
c NEW SOLUTION FOUND: -3795251 @ 287.52 @ #Dec. 189191
c NEW SOLUTION FOUND: -3795257 @ 288.49 @ #Dec. 189400
c NEW SOLUTION FOUND: -3795305 @ 288.49 @ #Dec. 189404
c NEW SOLUTION FOUND: -3795319 @ 288.82 @ #Dec. 189469
c NEW SOLUTION FOUND: -3795379 @ 288.82 @ #Dec. 189471
c NEW SOLUTION FOUND: -3795667 @ 288.9 @ #Dec. 189499
c NEW SOLUTION FOUND: -3795727 @ 288.9 @ #Dec. 189501
c NEW SOLUTION FOUND: -3795751 @ 290.19 @ #Dec. 189860
c NEW SOLUTION FOUND: -3795781 @ 290.19 @ #Dec. 189862
c NEW SOLUTION FOUND: -3795875 @ 290.48 @ #Dec. 189895
c NEW SOLUTION FOUND: -3795905 @ 290.48 @ #Dec. 189896
c NEW SOLUTION FOUND: -3795965 @ 290.48 @ #Dec. 189898
c NEW SOLUTION FOUND: -3796143 @ 290.65 @ #Dec. 189930
c NEW SOLUTION FOUND: -3796203 @ 290.65 @ #Dec. 189932
c NEW SOLUTION FOUND: -3796209 @ 291.23 @ #Dec. 190093
c NEW SOLUTION FOUND: -3796241 @ 291.26 @ #Dec. 190104
c NEW SOLUTION FOUND: -3796257 @ 291.27 @ #Dec. 190111
c NEW SOLUTION FOUND: -3796513 @ 291.44 @ #Dec. 190136
c NEW SOLUTION FOUND: -3796633 @ 291.48 @ #Dec. 190170
c NEW SOLUTION FOUND: -3796679 @ 291.52 @ #Dec. 190200
c NEW SOLUTION FOUND: -3796797 @ 292.09 @ #Dec. 190306
c NEW SOLUTION FOUND: -3796917 @ 292.1 @ #Dec. 190310
c NEW SOLUTION FOUND: -3796943 @ 292.71 @ #Dec. 190459
c NEW SOLUTION FOUND: -3796989 @ 292.72 @ #Dec. 190472
c NEW SOLUTION FOUND: -3797109 @ 292.74 @ #Dec. 190500
c NEW SOLUTION FOUND: -3797155 @ 292.78 @ #Dec. 190525
c NEW SOLUTION FOUND: -3797209 @ 294.55 @ #Dec. 190881
c NEW SOLUTION FOUND: -3797391 @ 294.7 @ #Dec. 190910
c NEW SOLUTION FOUND: -3797631 @ 294.7 @ #Dec. 190918
c NEW SOLUTION FOUND: -3797664 @ 295.38 @ #Dec. 191093
c NEW SOLUTION FOUND: -3797679 @ 295.38 @ #Dec. 191093
c NEW SOLUTION FOUND: -3797709 @ 295.38 @ #Dec. 191095
c NEW SOLUTION FOUND: -3797769 @ 295.38 @ #Dec. 191098
c NEW SOLUTION FOUND: -3797777 @ 295.38 @ #Dec. 191105
c NEW SOLUTION FOUND: -3797823 @ 295.39 @ #Dec. 191119
c NEW SOLUTION FOUND: -3797869 @ 295.42 @ #Dec. 191156
c NEW SOLUTION FOUND: -3798107 @ 295.77 @ #Dec. 191242
c NEW SOLUTION FOUND: -3798119 @ 299.67 @ #Dec. 191630
c NEW SOLUTION FOUND: -3798149 @ 299.67 @ #Dec. 191637
c NEW SOLUTION FOUND: -3798179 @ 299.67 @ #Dec. 191649
c NEW SOLUTION FOUND: -3798209 @ 299.68 @ #Dec. 191656
c NEW SOLUTION FOUND: -3798239 @ 299.68 @ #Dec. 191667
c NEW SOLUTION FOUND: -3798269 @ 299.68 @ #Dec. 191677
c NEW SOLUTION FOUND: -3798283 @ 299.72 @ #Dec. 191694
c NEW SOLUTION FOUND: -3798295 @ 299.73 @ #Dec. 191701
c NEW SOLUTION FOUND: -3798343 @ 299.73 @ #Dec. 191705
c NEW SOLUTION FOUND: -3798415 @ 299.73 @ #Dec. 191713
c NEW SOLUTION FOUND: -3798447 @ 299.73 @ #Dec. 191718
c NEW SOLUTION FOUND: -3798463 @ 299.73 @ #Dec. 191722
c NEW SOLUTION FOUND: -3798509 @ 299.77 @ #Dec. 191740
c NEW SOLUTION FOUND: -3798637 @ 299.79 @ #Dec. 191757
c NEW SOLUTION FOUND: -3799059 @ 299.97 @ #Dec. 191800
c NEW SOLUTION FOUND: -3800043 @ 303.85 @ #Dec. 192439
c NEW SOLUTION FOUND: -3800245 @ 303.88 @ #Dec. 192449
c NEW SOLUTION FOUND: -3800263 @ 303.89 @ #Dec. 192453
c NEW SOLUTION FOUND: -3800281 @ 303.89 @ #Dec. 192456
c NEW SOLUTION FOUND: -3800283 @ 303.94 @ #Dec. 192481
c NEW SOLUTION FOUND: -3800419 @ 303.96 @ #Dec. 192490
c NEW SOLUTION FOUND: -3800547 @ 304.01 @ #Dec. 192511
c NEW SOLUTION FOUND: -3800749 @ 304.05 @ #Dec. 192530
c NEW SOLUTION FOUND: -3802043 @ 304.23 @ #Dec. 192593
c NEW SOLUTION FOUND: -3802493 @ 304.29 @ #Dec. 192613
c NEW SOLUTION FOUND: -3802749 @ 304.31 @ #Dec. 192622
c NEW SOLUTION FOUND: -3802831 @ 304.48 @ #Dec. 192673
c NEW SOLUTION FOUND: -3802841 @ 304.49 @ #Dec. 192678
c NEW SOLUTION FOUND: -3803051 @ 304.58 @ #Dec. 192709
c NEW SOLUTION FOUND: -3804773 @ 304.67 @ #Dec. 192753
c NEW SOLUTION FOUND: -3805067 @ 304.8 @ #Dec. 192802
c NEW SOLUTION FOUND: -3805967 @ 304.86 @ #Dec. 192839
c NEW SOLUTION FOUND: -3805983 @ 304.87 @ #Dec. 192844
c NEW SOLUTION FOUND: -3806001 @ 304.89 @ #Dec. 192850
c NEW SOLUTION FOUND: -3806075 @ 304.97 @ #Dec. 192876
c NEW SOLUTION FOUND: -3808075 @ 305.02 @ #Dec. 192891
c NEW SOLUTION FOUND: -3808091 @ 305.04 @ #Dec. 192896
c NEW SOLUTION FOUND: -3808467 @ 305.12 @ #Dec. 192925
c NEW SOLUTION FOUND: -3808513 @ 305.14 @ #Dec. 192942
c NEW SOLUTION FOUND: -3808699 @ 305.44 @ #Dec. 193057
c NEW SOLUTION FOUND: -3808939 @ 305.49 @ #Dec. 193077
c NEW SOLUTION FOUND: -3808969 @ 305.51 @ #Dec. 193089
c NEW SOLUTION FOUND: -3809083 @ 305.58 @ #Dec. 193114
c NEW SOLUTION FOUND: -3810075 @ 305.64 @ #Dec. 193129
c NEW SOLUTION FOUND: -3810091 @ 305.66 @ #Dec. 193134
c NEW SOLUTION FOUND: -3810467 @ 305.71 @ #Dec. 193148
c NEW SOLUTION FOUND: -3810513 @ 305.73 @ #Dec. 193163
c NEW SOLUTION FOUND: -3810783 @ 306.7 @ #Dec. 193342
c NEW SOLUTION FOUND: -3810798 @ 306.7 @ #Dec. 193344
c NEW SOLUTION FOUND: -3810813 @ 306.71 @ #Dec. 193345
c NEW SOLUTION FOUND: -3810814 @ 306.71 @ #Dec. 193354
c NEW SOLUTION FOUND: -3810829 @ 306.71 @ #Dec. 193355
c NEW SOLUTION FOUND: -3811251 @ 306.79 @ #Dec. 193367
c NEW SOLUTION FOUND: -3811257 @ 308.18 @ #Dec. 193642
c NEW SOLUTION FOUND: -3811305 @ 308.2 @ #Dec. 193652
c NEW SOLUTION FOUND: -3811667 @ 308.25 @ #Dec. 193659
c NEW SOLUTION FOUND: -3811727 @ 308.26 @ #Dec. 193661
c NEW SOLUTION FOUND: -3812143 @ 309.11 @ #Dec. 193801
c NEW SOLUTION FOUND: -3812203 @ 309.11 @ #Dec. 193803
c NEW SOLUTION FOUND: -3812257 @ 309.93 @ #Dec. 193974
c NEW SOLUTION FOUND: -3812559 @ 310.01 @ #Dec. 193988
c NEW SOLUTION FOUND: -3812619 @ 310.06 @ #Dec. 194002
c NEW SOLUTION FOUND: -3812679 @ 310.06 @ #Dec. 194004
c NEW SOLUTION FOUND: -3812685 @ 311.37 @ #Dec. 194284
c NEW SOLUTION FOUND: -3812717 @ 311.39 @ #Dec. 194293
c NEW SOLUTION FOUND: -3812733 @ 311.4 @ #Dec. 194299
c NEW SOLUTION FOUND: -3813095 @ 311.46 @ #Dec. 194310
c NEW SOLUTION FOUND: -3813155 @ 311.46 @ #Dec. 194313
c NEW SOLUTION FOUND: -3813391 @ 312.03 @ #Dec. 194429
c NEW SOLUTION FOUND: -3813406 @ 312.05 @ #Dec. 194440
c NEW SOLUTION FOUND: -3813421 @ 312.05 @ #Dec. 194440
c NEW SOLUTION FOUND: -3813451 @ 312.05 @ #Dec. 194441
c NEW SOLUTION FOUND: -3813511 @ 312.05 @ #Dec. 194443
c NEW SOLUTION FOUND: -3813631 @ 312.08 @ #Dec. 194451
c NEW SOLUTION FOUND: -3813779 @ 313.38 @ #Dec. 194671
c NEW SOLUTION FOUND: -3813809 @ 313.38 @ #Dec. 194672
c NEW SOLUTION FOUND: -3813839 @ 313.38 @ #Dec. 194675
c NEW SOLUTION FOUND: -3813869 @ 313.38 @ #Dec. 194677
c NEW SOLUTION FOUND: -3814107 @ 314.02 @ #Dec. 194801
c NEW SOLUTION FOUND: -3814161 @ 314.79 @ #Dec. 194935
c NEW SOLUTION FOUND: -3814583 @ 314.89 @ #Dec. 194956
c NEW SOLUTION FOUND: -3814821 @ 315.27 @ #Dec. 195038
c NEW SOLUTION FOUND: -3815059 @ 315.68 @ #Dec. 195122
c NEW SOLUTION FOUND: -3815213 @ 316.41 @ #Dec. 195303
c NEW SOLUTION FOUND: -3815323 @ 316.55 @ #Dec. 195359
c NEW SOLUTION FOUND: -3815343 @ 316.63 @ #Dec. 195462
c NEW SOLUTION FOUND: -3815353 @ 316.68 @ #Dec. 195517
c NEW SOLUTION FOUND: -3815403 @ 316.71 @ #Dec. 195534
c NEW SOLUTION FOUND: -3816493 @ 316.79 @ #Dec. 195559
c NEW SOLUTION FOUND: -3816603 @ 316.91 @ #Dec. 195605
c NEW SOLUTION FOUND: -3816633 @ 316.96 @ #Dec. 195630
c NEW SOLUTION FOUND: -3816683 @ 316.99 @ #Dec. 195648
c NEW SOLUTION FOUND: -3817243 @ 317.15 @ #Dec. 195682
c NEW SOLUTION FOUND: -3817263 @ 317.19 @ #Dec. 195704
c NEW SOLUTION FOUND: -3817273 @ 317.21 @ #Dec. 195719
c NEW SOLUTION FOUND: -3817323 @ 317.24 @ #Dec. 195737
c NEW SOLUTION FOUND: -3817773 @ 317.29 @ #Dec. 195759
c NEW SOLUTION FOUND: -3817883 @ 317.36 @ #Dec. 195794
c NEW SOLUTION FOUND: -3817913 @ 317.41 @ #Dec. 195818
c NEW SOLUTION FOUND: -3817963 @ 317.44 @ #Dec. 195837
c NEW SOLUTION FOUND: -3818523 @ 317.49 @ #Dec. 195865
c NEW SOLUTION FOUND: -3818543 @ 317.54 @ #Dec. 195887
c NEW SOLUTION FOUND: -3818553 @ 317.56 @ #Dec. 195902
c NEW SOLUTION FOUND: -3818603 @ 317.59 @ #Dec. 195921
c NEW SOLUTION FOUND: -3819053 @ 317.63 @ #Dec. 195943
c NEW SOLUTION FOUND: -3819193 @ 317.72 @ #Dec. 195981
c NEW SOLUTION FOUND: -3819243 @ 317.77 @ #Dec. 196007
c NEW SOLUTION FOUND: -3819443 @ 320.1 @ #Dec. 197039
c NEW SOLUTION FOUND: -3819483 @ 320.1 @ #Dec. 197047
c NEW SOLUTION FOUND: -3819493 @ 320.11 @ #Dec. 197062
c NEW SOLUTION FOUND: -3820123 @ 320.14 @ #Dec. 197083
c NEW SOLUTION FOUND: -3820133 @ 320.15 @ #Dec. 197098
c NEW SOLUTION FOUND: -3820763 @ 320.18 @ #Dec. 197123
c NEW SOLUTION FOUND: -3820773 @ 320.2 @ #Dec. 197138
c NEW SOLUTION FOUND: -3821083 @ 320.21 @ #Dec. 197158
c NEW SOLUTION FOUND: -3821163 @ 320.23 @ #Dec. 197178
c NEW SOLUTION FOUND: -3821403 @ 320.36 @ #Dec. 197217
c NEW SOLUTION FOUND: -3821413 @ 320.38 @ #Dec. 197233
c NEW SOLUTION FOUND: -3821723 @ 320.52 @ #Dec. 197271
c NEW SOLUTION FOUND: -3821803 @ 320.65 @ #Dec. 197309
c NEW SOLUTION FOUND: -3822506 @ 321.1 @ #Dec. 197411
c NEW SOLUTION FOUND: -3822516 @ 321.11 @ #Dec. 197420
c NEW SOLUTION FOUND: -3822521 @ 321.11 @ #Dec. 197430
c NEW SOLUTION FOUND: -3822531 @ 321.12 @ #Dec. 197441
c NEW SOLUTION FOUND: -3822541 @ 321.12 @ #Dec. 197451
c NEW SOLUTION FOUND: -3822546 @ 321.12 @ #Dec. 197469
c NEW SOLUTION FOUND: -3822551 @ 321.13 @ #Dec. 197479
c NEW SOLUTION FOUND: -3822571 @ 321.13 @ #Dec. 197489
c NEW SOLUTION FOUND: -3822601 @ 321.14 @ #Dec. 197501
c NEW SOLUTION FOUND: -3822631 @ 321.15 @ #Dec. 197520
c NEW SOLUTION FOUND: -3822641 @ 321.15 @ #Dec. 197537
c NEW SOLUTION FOUND: -3822661 @ 321.16 @ #Dec. 197552
c NEW SOLUTION FOUND: -3822741 @ 321.18 @ #Dec. 197568
c NEW SOLUTION FOUND: -3822771 @ 321.18 @ #Dec. 197581
c NEW SOLUTION FOUND: -3822923 @ 321.82 @ #Dec. 197692
c NEW SOLUTION FOUND: -3823243 @ 321.89 @ #Dec. 197773
c NEW SOLUTION FOUND: -3823431 @ 322.13 @ #Dec. 197845
c NEW SOLUTION FOUND: -3823481 @ 322.25 @ #Dec. 197888
c NEW SOLUTION FOUND: -3824173 @ 322.46 @ #Dec. 197975
c NEW SOLUTION FOUND: -3824203 @ 322.5 @ #Dec. 198002
c NEW SOLUTION FOUND: -3824523 @ 322.51 @ #Dec. 198022
c NEW SOLUTION FOUND: -3824753 @ 322.8 @ #Dec. 198119
c NEW SOLUTION FOUND: -3824763 @ 322.86 @ #Dec. 198145
c NEW SOLUTION FOUND: -3824803 @ 322.88 @ #Dec. 198164
c NEW SOLUTION FOUND: -3825393 @ 322.99 @ #Dec. 198206
c NEW SOLUTION FOUND: -3825483 @ 323.02 @ #Dec. 198231
c NEW SOLUTION FOUND: -3825803 @ 323.1 @ #Dec. 198266
c NEW SOLUTION FOUND: -3825991 @ 323.33 @ #Dec. 198315
c NEW SOLUTION FOUND: -3826041 @ 323.56 @ #Dec. 198459
c NEW SOLUTION FOUND: -3826123 @ 323.79 @ #Dec. 198549
c NEW SOLUTION FOUND: -3826243 @ 323.81 @ #Dec. 198573
c NEW SOLUTION FOUND: -3826261 @ 323.97 @ #Dec. 198625
c NEW SOLUTION FOUND: -3826481 @ 323.98 @ #Dec. 198645
c NEW SOLUTION FOUND: -3826893 @ 324.11 @ #Dec. 198690
c NEW SOLUTION FOUND: -3827001 @ 324.14 @ #Dec. 198718
c NEW SOLUTION FOUND: -3827131 @ 324.15 @ #Dec. 198736
c NEW SOLUTION FOUND: -3827241 @ 324.2 @ #Dec. 198763
c NEW SOLUTION FOUND: -3827763 @ 324.31 @ #Dec. 198799
c NEW SOLUTION FOUND: -3827773 @ 324.32 @ #Dec. 198813
c NEW SOLUTION FOUND: -3827951 @ 324.54 @ #Dec. 198845
c NEW SOLUTION FOUND: -3828011 @ 324.55 @ #Dec. 198857
c NEW SOLUTION FOUND: -3828553 @ 324.62 @ #Dec. 198882
c NEW SOLUTION FOUND: -3828773 @ 324.67 @ #Dec. 198901
c NEW SOLUTION FOUND: -3828781 @ 324.79 @ #Dec. 198927
c NEW SOLUTION FOUND: -3828791 @ 324.79 @ #Dec. 198941
c NEW SOLUTION FOUND: -3828951 @ 324.82 @ #Dec. 198959
c NEW SOLUTION FOUND: -3829011 @ 324.83 @ #Dec. 198973
c NEW SOLUTION FOUND: -3829801 @ 325.08 @ #Dec. 199025
c NEW SOLUTION FOUND: -3829851 @ 325.09 @ #Dec. 199040
c NEW SOLUTION FOUND: -3829861 @ 325.1 @ #Dec. 199054
c NEW SOLUTION FOUND: -3829921 @ 325.11 @ #Dec. 199070
c NEW SOLUTION FOUND: -3829971 @ 325.12 @ #Dec. 199085
c NEW SOLUTION FOUND: -3829981 @ 325.12 @ #Dec. 199099
c NEW SOLUTION FOUND: -3830021 @ 325.17 @ #Dec. 199117
c NEW SOLUTION FOUND: -3830081 @ 325.18 @ #Dec. 199131
c NEW SOLUTION FOUND: -3830141 @ 325.19 @ #Dec. 199147
c NEW SOLUTION FOUND: -3830201 @ 325.19 @ #Dec. 199161
c NEW SOLUTION FOUND: -3830219 @ 325.23 @ #Dec. 199183
c NEW SOLUTION FOUND: -3830319 @ 325.27 @ #Dec. 199203
c NEW SOLUTION FOUND: -3830439 @ 325.28 @ #Dec. 199219
c NEW SOLUTION FOUND: -3834599 @ 325.76 @ #Dec. 199321
c NEW SOLUTION FOUND: -3834719 @ 325.77 @ #Dec. 199337
c NEW SOLUTION FOUND: -3834809 @ 325.82 @ #Dec. 199363
c NEW SOLUTION FOUND: -3834819 @ 325.83 @ #Dec. 199378
c NEW SOLUTION FOUND: -3834939 @ 325.83 @ #Dec. 199394
c NEW SOLUTION FOUND: -3836331 @ 326.46 @ #Dec. 199563
c NEW SOLUTION FOUND: -3836341 @ 326.48 @ #Dec. 199580
c NEW SOLUTION FOUND: -3836461 @ 326.49 @ #Dec. 199598
c NEW SOLUTION FOUND: -3836569 @ 326.54 @ #Dec. 199633
c NEW SOLUTION FOUND: -3836579 @ 326.56 @ #Dec. 199650
c NEW SOLUTION FOUND: -3836699 @ 326.57 @ #Dec. 199668
c NEW SOLUTION FOUND: -3836803 @ 326.71 @ #Dec. 199759
c NEW SOLUTION FOUND: -3836883 @ 326.75 @ #Dec. 199793
c NEW SOLUTION FOUND: -3841429 @ 326.84 @ #Dec. 199844
c NEW SOLUTION FOUND: -3841549 @ 326.87 @ #Dec. 199871
c NEW SOLUTION FOUND: -3842011 @ 326.98 @ #Dec. 199919
c NEW SOLUTION FOUND: -3842021 @ 326.99 @ #Dec. 199936
c NEW SOLUTION FOUND: -3842141 @ 327 @ #Dec. 199954
c NEW SOLUTION FOUND: -3842249 @ 327.05 @ #Dec. 199981
c NEW SOLUTION FOUND: -3842259 @ 327.06 @ #Dec. 199998
c NEW SOLUTION FOUND: -3842379 @ 327.07 @ #Dec. 200016
c NEW SOLUTION FOUND: -3842431 @ 327.23 @ #Dec. 200097
c NEW SOLUTION FOUND: -3842441 @ 327.27 @ #Dec. 200125
c NEW SOLUTION FOUND: -3842561 @ 327.28 @ #Dec. 200142
c NEW SOLUTION FOUND: -3842591 @ 327.36 @ #Dec. 200184
c NEW SOLUTION FOUND: -3842669 @ 327.43 @ #Dec. 200226
c NEW SOLUTION FOUND: -3842799 @ 327.49 @ #Dec. 200259
c NEW SOLUTION FOUND: -3842829 @ 327.59 @ #Dec. 200311
c NEW SOLUTION FOUND: -3842875 @ 328.61 @ #Dec. 200403
c NEW SOLUTION FOUND: -3843115 @ 328.66 @ #Dec. 200431
c NEW SOLUTION FOUND: -3843353 @ 328.72 @ #Dec. 200468
c NEW SOLUTION FOUND: -3843591 @ 328.78 @ #Dec. 200503
c NEW SOLUTION FOUND: -3843829 @ 328.86 @ #Dec. 200546
c NEW SOLUTION FOUND: -3844067 @ 328.93 @ #Dec. 200588
c NEW SOLUTION FOUND: -3844303 @ 329.02 @ #Dec. 200631
c NEW SOLUTION FOUND: -3844543 @ 329.05 @ #Dec. 200652
c NEW SOLUTION FOUND: -3844733 @ 329.63 @ #Dec. 200786
c NEW SOLUTION FOUND: -3844843 @ 333 @ #Dec. 202070
c NEW SOLUTION FOUND: -3847355 @ 333.05 @ #Dec. 202097
c NEW SOLUTION FOUND: -3847859 @ 333.12 @ #Dec. 202130
c NEW SOLUTION FOUND: -3848757 @ 333.2 @ #Dec. 202177
c NEW SOLUTION FOUND: -3850757 @ 333.44 @ #Dec. 202321
c NEW SOLUTION FOUND: -3850793 @ 333.67 @ #Dec. 202447
c NEW SOLUTION FOUND: -3850857 @ 333.69 @ #Dec. 202456
c NEW SOLUTION FOUND: -3851257 @ 333.72 @ #Dec. 202469
c NEW SOLUTION FOUND: -3851449 @ 333.77 @ #Dec. 202493
c NEW SOLUTION FOUND: -3851464 @ 333.79 @ #Dec. 202500
c NEW SOLUTION FOUND: -3851479 @ 333.8 @ #Dec. 202506
c NEW SOLUTION FOUND: -3851495 @ 333.83 @ #Dec. 202517
c NEW SOLUTION FOUND: -3856619 @ 334.13 @ #Dec. 202704
c NEW SOLUTION FOUND: -3856875 @ 334.2 @ #Dec. 202733
c NEW SOLUTION FOUND: -3856907 @ 334.26 @ #Dec. 202756
c NEW SOLUTION FOUND: -3858619 @ 334.35 @ #Dec. 202793
c NEW SOLUTION FOUND: -3858907 @ 334.42 @ #Dec. 202817
c NEW SOLUTION FOUND: -3859119 @ 334.51 @ #Dec. 202852
c NEW SOLUTION FOUND: -3859407 @ 334.56 @ #Dec. 202870
c NEW SOLUTION FOUND: -3859613 @ 334.69 @ #Dec. 202918
c NEW SOLUTION FOUND: -3859645 @ 334.77 @ #Dec. 202941
c NEW SOLUTION FOUND: -3859773 @ 335 @ #Dec. 202993
c NEW SOLUTION FOUND: -3859833 @ 335.03 @ #Dec. 203010
c NEW SOLUTION FOUND: -3860061 @ 335.08 @ #Dec. 203029
c NEW SOLUTION FOUND: -3860121 @ 335.1 @ #Dec. 203037
c NEW SOLUTION FOUND: -3860267 @ 335.54 @ #Dec. 203128
c NEW SOLUTION FOUND: -3860327 @ 335.56 @ #Dec. 203139
c NEW SOLUTION FOUND: -3860359 @ 335.62 @ #Dec. 203159
c NEW SOLUTION FOUND: -3860537 @ 335.77 @ #Dec. 203203
c NEW SOLUTION FOUND: -3860597 @ 335.8 @ #Dec. 203211
c NEW SOLUTION FOUND: -3861497 @ 336.07 @ #Dec. 203251
c NEW SOLUTION FOUND: -3861617 @ 336.1 @ #Dec. 203270
c NEW SOLUTION FOUND: -3861737 @ 336.13 @ #Dec. 203288
c NEW SOLUTION FOUND: -3861785 @ 336.21 @ #Dec. 203311
c NEW SOLUTION FOUND: -3861905 @ 336.23 @ #Dec. 203321
c NEW SOLUTION FOUND: -3862025 @ 336.25 @ #Dec. 203330
c NEW SOLUTION FOUND: -3862111 @ 336.7 @ #Dec. 203421
c NEW SOLUTION FOUND: -3862231 @ 336.72 @ #Dec. 203432
c NEW SOLUTION FOUND: -3862263 @ 336.78 @ #Dec. 203468
c NEW SOLUTION FOUND: -3862349 @ 336.91 @ #Dec. 203516
c NEW SOLUTION FOUND: -3862469 @ 336.93 @ #Dec. 203529
c NEW SOLUTION FOUND: -3862501 @ 337.03 @ #Dec. 203564
c NEW SOLUTION FOUND: -3862739 @ 337.88 @ #Dec. 203690
c NEW SOLUTION FOUND: -3862945 @ 338.05 @ #Dec. 203736
c NEW SOLUTION FOUND: -3862977 @ 338.14 @ #Dec. 203761
c NEW SOLUTION FOUND: -3863215 @ 338.38 @ #Dec. 203802
c NEW SOLUTION FOUND: -3863453 @ 338.53 @ #Dec. 203840
c NEW SOLUTION FOUND: -3863543 @ 340.12 @ #Dec. 204097
c NEW SOLUTION FOUND: -3863623 @ 340.15 @ #Dec. 204117
c NEW SOLUTION FOUND: -3863643 @ 340.16 @ #Dec. 204135
c NEW SOLUTION FOUND: -3863653 @ 340.17 @ #Dec. 204152
c NEW SOLUTION FOUND: -3863781 @ 340.31 @ #Dec. 204187
c NEW SOLUTION FOUND: -3863861 @ 340.33 @ #Dec. 204206
c NEW SOLUTION FOUND: -3863891 @ 340.34 @ #Dec. 204223
c NEW SOLUTION FOUND: -3864097 @ 340.68 @ #Dec. 204287
c NEW SOLUTION FOUND: -3864257 @ 340.76 @ #Dec. 204315
c NEW SOLUTION FOUND: -3864337 @ 340.79 @ #Dec. 204335
c NEW SOLUTION FOUND: -3864357 @ 340.8 @ #Dec. 204353
c NEW SOLUTION FOUND: -3864367 @ 340.81 @ #Dec. 204370
c NEW SOLUTION FOUND: -3864495 @ 341.24 @ #Dec. 204488
c NEW SOLUTION FOUND: -3864605 @ 341.26 @ #Dec. 204507
c NEW SOLUTION FOUND: -3864733 @ 341.39 @ #Dec. 204542
c NEW SOLUTION FOUND: -3864813 @ 341.42 @ #Dec. 204562
c NEW SOLUTION FOUND: -3864833 @ 341.43 @ #Dec. 204580
c NEW SOLUTION FOUND: -3864843 @ 341.44 @ #Dec. 204597
c NEW SOLUTION FOUND: -3865463 @ 341.83 @ #Dec. 204666
c NEW SOLUTION FOUND: -3865683 @ 341.88 @ #Dec. 204691
c NEW SOLUTION FOUND: -3865939 @ 341.91 @ #Dec. 204708
c NEW SOLUTION FOUND: -3866947 @ 341.94 @ #Dec. 204727
c NEW SOLUTION FOUND: -3868955 @ 342.01 @ #Dec. 204755
c NEW SOLUTION FOUND: -3870715 @ 342.06 @ #Dec. 204771
c NEW SOLUTION FOUND: -3870779 @ 342.1 @ #Dec. 204783
c NEW SOLUTION FOUND: -3870963 @ 342.2 @ #Dec. 204809
c NEW SOLUTION FOUND: -3870995 @ 342.25 @ #Dec. 204833
c NEW SOLUTION FOUND: -3871265 @ 342.27 @ #Dec. 204846
c NEW SOLUTION FOUND: -3871467 @ 342.32 @ #Dec. 204869
c NEW SOLUTION FOUND: -3871971 @ 342.36 @ #Dec. 204887
c NEW SOLUTION FOUND: -3871981 @ 342.38 @ #Dec. 204895
c NEW SOLUTION FOUND: -3871989 @ 342.38 @ #Dec. 204897
c NEW SOLUTION FOUND: -3872133 @ 342.5 @ #Dec. 204918
c NEW SOLUTION FOUND: -3872193 @ 342.5 @ #Dec. 204920
c NEW SOLUTION FOUND: -3873693 @ 342.58 @ #Dec. 204942
c NEW SOLUTION FOUND: -3873753 @ 342.59 @ #Dec. 204953
c NEW SOLUTION FOUND: -3873793 @ 342.63 @ #Dec. 204974
c NEW SOLUTION FOUND: -3873913 @ 342.67 @ #Dec. 204997
c NEW SOLUTION FOUND: -3874201 @ 342.71 @ #Dec. 205014
c NEW SOLUTION FOUND: -3875227 @ 342.76 @ #Dec. 205024
c NEW SOLUTION FOUND: -3882707 @ 342.94 @ #Dec. 205082
c NEW SOLUTION FOUND: -3884755 @ 342.99 @ #Dec. 205101
c NEW SOLUTION FOUND: -3885043 @ 343.03 @ #Dec. 205115
c NEW SOLUTION FOUND: -3887059 @ 343.12 @ #Dec. 205147
c NEW SOLUTION FOUND: -3887459 @ 343.16 @ #Dec. 205164
c NEW SOLUTION FOUND: -3887683 @ 343.17 @ #Dec. 205172
c NEW SOLUTION FOUND: -3887701 @ 343.17 @ #Dec. 205181
c NEW SOLUTION FOUND: -3887933 @ 343.25 @ #Dec. 205219
c NEW SOLUTION FOUND: -3887993 @ 343.28 @ #Dec. 205238
c NEW SOLUTION FOUND: -3888221 @ 343.33 @ #Dec. 205252
c NEW SOLUTION FOUND: -3888281 @ 343.33 @ #Dec. 205257
c NEW SOLUTION FOUND: -3889213 @ 343.42 @ #Dec. 205288
c NEW SOLUTION FOUND: -3889273 @ 343.47 @ #Dec. 205310
c NEW SOLUTION FOUND: -3890237 @ 343.52 @ #Dec. 205330
c NEW SOLUTION FOUND: -3890297 @ 343.57 @ #Dec. 205350
c NEW SOLUTION FOUND: -3890637 @ 343.61 @ #Dec. 205364
c NEW SOLUTION FOUND: -3890697 @ 343.61 @ #Dec. 205374
c NEW SOLUTION FOUND: -3890707 @ 343.61 @ #Dec. 205383
c NEW SOLUTION FOUND: -3890939 @ 343.62 @ #Dec. 205390
c NEW SOLUTION FOUND: -3891489 @ 344.23 @ #Dec. 205479
c NEW SOLUTION FOUND: -3892321 @ 344.81 @ #Dec. 205547
c NEW SOLUTION FOUND: -3892381 @ 344.83 @ #Dec. 205555
c NEW SOLUTION FOUND: -3892441 @ 344.83 @ #Dec. 205557
c NEW SOLUTION FOUND: -3892559 @ 345.06 @ #Dec. 205593
c NEW SOLUTION FOUND: -3892619 @ 345.09 @ #Dec. 205599
c NEW SOLUTION FOUND: -3892679 @ 345.09 @ #Dec. 205601
c NEW SOLUTION FOUND: -3892737 @ 345.59 @ #Dec. 205672
c NEW SOLUTION FOUND: -3892797 @ 345.59 @ #Dec. 205674
c NEW SOLUTION FOUND: -3892857 @ 345.59 @ #Dec. 205677
c NEW SOLUTION FOUND: -3892917 @ 345.59 @ #Dec. 205679
c NEW SOLUTION FOUND: -3892975 @ 345.73 @ #Dec. 205701
c NEW SOLUTION FOUND: -3893035 @ 345.73 @ #Dec. 205703
c NEW SOLUTION FOUND: -3893095 @ 345.74 @ #Dec. 205706
c NEW SOLUTION FOUND: -3893155 @ 345.74 @ #Dec. 205708
c NEW SOLUTION FOUND: -3893209 @ 346.33 @ #Dec. 205843
c NEW SOLUTION FOUND: -3893391 @ 346.39 @ #Dec. 205849
c NEW SOLUTION FOUND: -3893451 @ 346.42 @ #Dec. 205856
c NEW SOLUTION FOUND: -3893511 @ 346.42 @ #Dec. 205858
c NEW SOLUTION FOUND: -3893571 @ 346.43 @ #Dec. 205861
c NEW SOLUTION FOUND: -3893631 @ 346.43 @ #Dec. 205863
c NEW SOLUTION FOUND: -3893644 @ 346.88 @ #Dec. 205943
c NEW SOLUTION FOUND: -3893659 @ 346.88 @ #Dec. 205943
c NEW SOLUTION FOUND: -3893689 @ 346.88 @ #Dec. 205944
c NEW SOLUTION FOUND: -3893749 @ 346.88 @ #Dec. 205946
c NEW SOLUTION FOUND: -3893809 @ 346.89 @ #Dec. 205949
c NEW SOLUTION FOUND: -3893869 @ 346.89 @ #Dec. 205951
c NEW SOLUTION FOUND: -3893927 @ 347.09 @ #Dec. 205982
c NEW SOLUTION FOUND: -3893987 @ 347.09 @ #Dec. 205984
c NEW SOLUTION FOUND: -3894047 @ 347.09 @ #Dec. 205987
c NEW SOLUTION FOUND: -3894107 @ 347.09 @ #Dec. 205989
c NEW SOLUTION FOUND: -3894161 @ 347.36 @ #Dec. 206061
c NEW SOLUTION FOUND: -3894343 @ 347.42 @ #Dec. 206070
c NEW SOLUTION FOUND: -3894463 @ 347.44 @ #Dec. 206075
c NEW SOLUTION FOUND: -3894583 @ 347.44 @ #Dec. 206078
c NEW SOLUTION FOUND: -3894637 @ 347.64 @ #Dec. 206120
c NEW SOLUTION FOUND: -3894699 @ 347.69 @ #Dec. 206130
c NEW SOLUTION FOUND: -3894819 @ 347.69 @ #Dec. 206133
c NEW SOLUTION FOUND: -3894939 @ 347.73 @ #Dec. 206138
c NEW SOLUTION FOUND: -3895059 @ 347.73 @ #Dec. 206141
c NEW SOLUTION FOUND: -3895177 @ 349.64 @ #Dec. 206453
c NEW SOLUTION FOUND: -3895297 @ 349.64 @ #Dec. 206456
c NEW SOLUTION FOUND: -3895415 @ 350.52 @ #Dec. 206583
c NEW SOLUTION FOUND: -3895535 @ 350.52 @ #Dec. 206586
c NEW SOLUTION FOUND: -3895653 @ 351.01 @ #Dec. 206666
c NEW SOLUTION FOUND: -3895773 @ 351.01 @ #Dec. 206669
c NEW SOLUTION FOUND: -3896011 @ 351.53 @ #Dec. 206767
c NEW SOLUTION FOUND: -3896153 @ 352.02 @ #Dec. 206890
c NEW SOLUTION FOUND: -3896249 @ 352.14 @ #Dec. 206963
c NEW SOLUTION FOUND: -3896513 @ 358.39 @ #Dec. 208831
c NEW SOLUTION FOUND: -3896977 @ 364.93 @ #Dec. 211156
c NEW SOLUTION FOUND: -3897967 @ 364.97 @ #Dec. 211197
c NEW SOLUTION FOUND: -3897977 @ 364.98 @ #Dec. 211207
c NEW SOLUTION FOUND: -3901091 @ 370.1 @ #Dec. 212839
c NEW SOLUTION FOUND: -3901571 @ 370.13 @ #Dec. 212863
c NEW SOLUTION FOUND: -3901681 @ 370.17 @ #Dec. 212891
c NEW SOLUTION FOUND: -3902631 @ 370.22 @ #Dec. 212918
c NEW SOLUTION FOUND: -3902641 @ 370.25 @ #Dec. 212938
c NEW SOLUTION FOUND: -3903769 @ 370.33 @ #Dec. 212975
c NEW SOLUTION FOUND: -3903879 @ 370.35 @ #Dec. 212995
c NEW SOLUTION FOUND: -3903929 @ 370.54 @ #Dec. 213094
c NEW SOLUTION FOUND: -3916675 @ 370.74 @ #Dec. 213213
c NEW SOLUTION FOUND: -3916755 @ 370.77 @ #Dec. 213241
c NEW SOLUTION FOUND: -3916775 @ 370.85 @ #Dec. 213292
c NEW SOLUTION FOUND: -3916785 @ 370.88 @ #Dec. 213315
c NEW SOLUTION FOUND: -3917075 @ 370.93 @ #Dec. 213348
c NEW SOLUTION FOUND: -3920313 @ 371 @ #Dec. 213395
c NEW SOLUTION FOUND: -3921611 @ 371.22 @ #Dec. 213482
c NEW SOLUTION FOUND: -3921849 @ 371.28 @ #Dec. 213516
c NEW SOLUTION FOUND: -3922021 @ 371.39 @ #Dec. 213568
c NEW SOLUTION FOUND: -3922259 @ 371.44 @ #Dec. 213592
c NEW SOLUTION FOUND: -3922409 @ 371.57 @ #Dec. 213646
c NEW SOLUTION FOUND: -3922489 @ 371.6 @ #Dec. 213673
c NEW SOLUTION FOUND: -3922521 @ 371.7 @ #Dec. 213730
c NEW SOLUTION FOUND: -3922749 @ 371.75 @ #Dec. 213760
c NEW SOLUTION FOUND: -3922759 @ 371.79 @ #Dec. 213783
c NEW SOLUTION FOUND: -3923259 @ 371.9 @ #Dec. 213847
c NEW SOLUTION FOUND: -3923769 @ 372.12 @ #Dec. 213966
c NEW SOLUTION FOUND: -3924555 @ 372.27 @ #Dec. 214038
c NEW SOLUTION FOUND: -3924793 @ 372.31 @ #Dec. 214068
c NEW SOLUTION FOUND: -3925091 @ 372.42 @ #Dec. 214128
c NEW SOLUTION FOUND: -3926329 @ 372.48 @ #Dec. 214166
c NEW SOLUTION FOUND: -3926467 @ 373.71 @ #Dec. 214291
c NEW SOLUTION FOUND: -3927467 @ 373.77 @ #Dec. 214328
c NEW SOLUTION FOUND: -3927491 @ 373.92 @ #Dec. 214395
c NEW SOLUTION FOUND: -3927515 @ 374.04 @ #Dec. 214455
c NEW SOLUTION FOUND: -3927539 @ 374.14 @ #Dec. 214505
c NEW SOLUTION FOUND: -3934123 @ 374.26 @ #Dec. 214564
c NEW SOLUTION FOUND: -3935659 @ 374.38 @ #Dec. 214621
c NEW SOLUTION FOUND: -3935683 @ 374.6 @ #Dec. 214700
c NEW SOLUTION FOUND: -3935707 @ 374.75 @ #Dec. 214773
c NEW SOLUTION FOUND: -3935731 @ 374.97 @ #Dec. 214853
c NEW SOLUTION FOUND: -3935755 @ 375.1 @ #Dec. 214918
c NEW SOLUTION FOUND: -3935779 @ 375.25 @ #Dec. 214984
c NEW SOLUTION FOUND: -3935803 @ 375.36 @ #Dec. 215040
c NEW SOLUTION FOUND: -3935827 @ 375.48 @ #Dec. 215097
c NEW SOLUTION FOUND: -3935851 @ 375.95 @ #Dec. 215167
c NEW SOLUTION FOUND: -3935875 @ 376.05 @ #Dec. 215217
c NEW SOLUTION FOUND: -3935947 @ 376.14 @ #Dec. 215268
c NEW SOLUTION FOUND: -3935971 @ 376.24 @ #Dec. 215318
c NEW SOLUTION FOUND: -3936246 @ 378.82 @ #Dec. 215959
c NEW SOLUTION FOUND: -3938821 @ 379.07 @ #Dec. 216104
c NEW SOLUTION FOUND: -3938971 @ 379.09 @ #Dec. 216126
c NEW SOLUTION FOUND: -3938986 @ 379.11 @ #Dec. 216142
c NEW SOLUTION FOUND: -3939241 @ 379.23 @ #Dec. 216302
c NEW SOLUTION FOUND: -3939265 @ 379.8 @ #Dec. 216470
c NEW SOLUTION FOUND: -3939289 @ 379.84 @ #Dec. 216516
c NEW SOLUTION FOUND: -3939315 @ 380.3 @ #Dec. 216693
c NEW SOLUTION FOUND: -3939375 @ 380.37 @ #Dec. 216732
c NEW SOLUTION FOUND: -3939385 @ 380.4 @ #Dec. 216766
c NEW SOLUTION FOUND: -3940765 @ 381.23 @ #Dec. 217407
c NEW SOLUTION FOUND: -3940775 @ 381.25 @ #Dec. 217430
c NEW SOLUTION FOUND: -3942685 @ 381.27 @ #Dec. 217455
c NEW SOLUTION FOUND: -3942695 @ 381.29 @ #Dec. 217481
c NEW SOLUTION FOUND: -3942903 @ 381.32 @ #Dec. 217518
c NEW SOLUTION FOUND: -3943141 @ 381.33 @ #Dec. 217539
c NEW SOLUTION FOUND: -3943161 @ 381.35 @ #Dec. 217566
c NEW SOLUTION FOUND: -3943171 @ 381.38 @ #Dec. 217597
c NEW SOLUTION FOUND: -3943497 @ 381.61 @ #Dec. 217705
c NEW SOLUTION FOUND: -3943973 @ 381.68 @ #Dec. 217754
c NEW SOLUTION FOUND: -3944113 @ 381.76 @ #Dec. 217815
c NEW SOLUTION FOUND: -3944123 @ 381.78 @ #Dec. 217838
c NEW SOLUTION FOUND: -3944449 @ 381.89 @ #Dec. 217900
c NEW SOLUTION FOUND: -3944687 @ 381.94 @ #Dec. 217936
c NEW SOLUTION FOUND: -3944925 @ 381.98 @ #Dec. 217965
c NEW SOLUTION FOUND: -3945065 @ 382.11 @ #Dec. 218016
c NEW SOLUTION FOUND: -3945075 @ 382.13 @ #Dec. 218044
c NEW SOLUTION FOUND: -3945089 @ 383.55 @ #Dec. 218384
c NEW SOLUTION FOUND: -3945565 @ 383.78 @ #Dec. 218513
c NEW SOLUTION FOUND: -3945725 @ 384.07 @ #Dec. 218597
c NEW SOLUTION FOUND: -3945740 @ 384.08 @ #Dec. 218610
c NEW SOLUTION FOUND: -3945765 @ 384.18 @ #Dec. 218675
c NEW SOLUTION FOUND: -3945885 @ 384.2 @ #Dec. 218694
c NEW SOLUTION FOUND: -3945945 @ 384.32 @ #Dec. 218744
c NEW SOLUTION FOUND: -3945955 @ 384.34 @ #Dec. 218766
c NEW SOLUTION FOUND: -3945979 @ 384.7 @ #Dec. 218860
c NEW SOLUTION FOUND: -3946939 @ 384.72 @ #Dec. 218883
c NEW SOLUTION FOUND: -3948859 @ 384.74 @ #Dec. 218909
c NEW SOLUTION FOUND: -3948959 @ 384.77 @ #Dec. 218945
c NEW SOLUTION FOUND: -3948969 @ 384.79 @ #Dec. 218973
c NEW SOLUTION FOUND: -3950395 @ 385.02 @ #Dec. 219033
c NEW SOLUTION FOUND: -3950495 @ 385.05 @ #Dec. 219065
c NEW SOLUTION FOUND: -3950505 @ 385.07 @ #Dec. 219093
c NEW SOLUTION FOUND: -3950675 @ 385.39 @ #Dec. 219205
c NEW SOLUTION FOUND: -3950935 @ 385.51 @ #Dec. 219292
c NEW SOLUTION FOUND: -3950945 @ 385.52 @ #Dec. 219316
c NEW SOLUTION FOUND: -3950995 @ 385.64 @ #Dec. 219356
c NEW SOLUTION FOUND: -3951315 @ 385.94 @ #Dec. 219418
c NEW SOLUTION FOUND: -3951385 @ 386.02 @ #Dec. 219461
c NEW SOLUTION FOUND: -3951507 @ 386.44 @ #Dec. 219598
c NEW SOLUTION FOUND: -3951577 @ 386.54 @ #Dec. 219652
c NEW SOLUTION FOUND: -3951651 @ 387.69 @ #Dec. 219938
c NEW SOLUTION FOUND: -3951721 @ 387.76 @ #Dec. 219974
c NEW SOLUTION FOUND: -3951905 @ 390.48 @ #Dec. 220377
c NEW SOLUTION FOUND: -3951955 @ 390.6 @ #Dec. 220429
c NEW SOLUTION FOUND: -3951989 @ 391.41 @ #Dec. 220558
c NEW SOLUTION FOUND: -3952099 @ 391.45 @ #Dec. 220590
c NEW SOLUTION FOUND: -3952106 @ 392.34 @ #Dec. 220738
c NEW SOLUTION FOUND: -3952115 @ 392.38 @ #Dec. 220766
c NEW SOLUTION FOUND: -3952130 @ 392.4 @ #Dec. 220785
c NEW SOLUTION FOUND: -3952275 @ 392.48 @ #Dec. 220832
c NEW SOLUTION FOUND: -3952335 @ 392.56 @ #Dec. 220868
c NEW SOLUTION FOUND: -3952345 @ 392.58 @ #Dec. 220896
c NEW SOLUTION FOUND: -3952371 @ 393.19 @ #Dec. 221039
c NEW SOLUTION FOUND: -3952419 @ 393.27 @ #Dec. 221083
c NEW SOLUTION FOUND: -3952479 @ 393.38 @ #Dec. 221144
c NEW SOLUTION FOUND: -3952489 @ 393.41 @ #Dec. 221173
c NEW SOLUTION FOUND: -3953955 @ 395.69 @ #Dec. 221990
c NEW SOLUTION FOUND: -3954003 @ 395.78 @ #Dec. 222055
c NEW SOLUTION FOUND: -3954051 @ 395.78 @ #Dec. 222068
c NEW SOLUTION FOUND: -3954069 @ 395.96 @ #Dec. 222165
c NEW SOLUTION FOUND: -3954253 @ 395.96 @ #Dec. 222182
c NEW SOLUTION FOUND: -3954453 @ 403.38 @ #Dec. 223504
c NEW SOLUTION FOUND: -3954691 @ 408.27 @ #Dec. 224025
c NEW SOLUTION FOUND: -3954827 @ 410.97 @ #Dec. 224657
c NEW SOLUTION FOUND: -3954837 @ 410.98 @ #Dec. 224682
c NEW SOLUTION FOUND: -3955021 @ 411 @ #Dec. 224703
c NEW SOLUTION FOUND: -3955027 @ 411.15 @ #Dec. 224778
c NEW SOLUTION FOUND: -3955315 @ 411.24 @ #Dec. 224824
c NEW SOLUTION FOUND: -3955459 @ 412.68 @ #Dec. 225030
c NEW SOLUTION FOUND: -3955565 @ 414.12 @ #Dec. 225291
c NEW SOLUTION FOUND: -3955585 @ 414.31 @ #Dec. 225339
c NEW SOLUTION FOUND: -3955685 @ 414.47 @ #Dec. 225390
c NEW SOLUTION FOUND: -3955695 @ 414.47 @ #Dec. 225401
c NEW SOLUTION FOUND: -3955823 @ 414.73 @ #Dec. 225494
c NEW SOLUTION FOUND: -3955887 @ 414.83 @ #Dec. 225530
c NEW SOLUTION FOUND: -3955923 @ 414.84 @ #Dec. 225542
c NEW SOLUTION FOUND: -3955933 @ 414.84 @ #Dec. 225552
c NEW SOLUTION FOUND: -3956029 @ 415.07 @ #Dec. 225652
c NEW SOLUTION FOUND: -3956089 @ 415.17 @ #Dec. 225702
c NEW SOLUTION FOUND: -3956099 @ 415.17 @ #Dec. 225716
c NEW SOLUTION FOUND: -3956125 @ 415.32 @ #Dec. 225763
c NEW SOLUTION FOUND: -3956161 @ 415.32 @ #Dec. 225773
c NEW SOLUTION FOUND: -3956171 @ 415.32 @ #Dec. 225781
c NEW SOLUTION FOUND: -3956993 @ 417.17 @ #Dec. 226055
c NEW SOLUTION FOUND: -3957469 @ 417.61 @ #Dec. 226116
c NEW SOLUTION FOUND: -3957527 @ 418.19 @ #Dec. 226218
c NEW SOLUTION FOUND: -3957553 @ 418.37 @ #Dec. 226265
c NEW SOLUTION FOUND: -3957599 @ 418.37 @ #Dec. 226275
c NEW SOLUTION FOUND: -3957933 @ 418.52 @ #Dec. 226310
c NEW SOLUTION FOUND: -3957993 @ 418.64 @ #Dec. 226357
c NEW SOLUTION FOUND: -3958003 @ 418.65 @ #Dec. 226371
c NEW SOLUTION FOUND: -3958065 @ 418.8 @ #Dec. 226411
c NEW SOLUTION FOUND: -3958075 @ 418.8 @ #Dec. 226420
c NEW SOLUTION FOUND: -3958409 @ 421.23 @ #Dec. 226857
c NEW SOLUTION FOUND: -3958449 @ 421.33 @ #Dec. 226899
c NEW SOLUTION FOUND: -3958479 @ 421.33 @ #Dec. 226913
c NEW SOLUTION FOUND: -3958541 @ 421.46 @ #Dec. 226953
c NEW SOLUTION FOUND: -3958551 @ 421.47 @ #Dec. 226962
c NEW SOLUTION FOUND: -3958647 @ 421.8 @ #Dec. 227078
c NEW SOLUTION FOUND: -3958687 @ 421.9 @ #Dec. 227119
c NEW SOLUTION FOUND: -3958717 @ 421.9 @ #Dec. 227133
c NEW SOLUTION FOUND: -3958779 @ 422.04 @ #Dec. 227178
c NEW SOLUTION FOUND: -3958789 @ 422.04 @ #Dec. 227189
c NEW SOLUTION FOUND: -3958885 @ 422.24 @ #Dec. 227246
c NEW SOLUTION FOUND: -3958925 @ 422.34 @ #Dec. 227286
c NEW SOLUTION FOUND: -3958955 @ 422.34 @ #Dec. 227300
c NEW SOLUTION FOUND: -3959017 @ 422.46 @ #Dec. 227338
c NEW SOLUTION FOUND: -3959027 @ 422.47 @ #Dec. 227347
c NEW SOLUTION FOUND: -3959357 @ 423.85 @ #Dec. 227517
c NEW SOLUTION FOUND: -3959373 @ 423.89 @ #Dec. 227534
c NEW SOLUTION FOUND: -3959401 @ 424.34 @ #Dec. 227649
c NEW SOLUTION FOUND: -3959431 @ 424.35 @ #Dec. 227663
c NEW SOLUTION FOUND: -3959493 @ 424.48 @ #Dec. 227701
c NEW SOLUTION FOUND: -3959503 @ 424.48 @ #Dec. 227710
c NEW SOLUTION FOUND: -3959837 @ 424.79 @ #Dec. 227771
c NEW SOLUTION FOUND: -3959877 @ 424.89 @ #Dec. 227810
c NEW SOLUTION FOUND: -3959907 @ 424.89 @ #Dec. 227824
c NEW SOLUTION FOUND: -3959969 @ 425.06 @ #Dec. 227865
c NEW SOLUTION FOUND: -3959979 @ 425.06 @ #Dec. 227874
c NEW SOLUTION FOUND: -3961161 @ 426.39 @ #Dec. 228102
c NEW SOLUTION FOUND: -3961191 @ 426.4 @ #Dec. 228120
c NEW SOLUTION FOUND: -3961361 @ 426.54 @ #Dec. 228221
c NEW SOLUTION FOUND: -3961681 @ 426.66 @ #Dec. 228264
c NEW SOLUTION FOUND: -3961837 @ 426.96 @ #Dec. 228384
c NEW SOLUTION FOUND: -3962157 @ 427.23 @ #Dec. 228491
c NEW SOLUTION FOUND: -3962162 @ 428.15 @ #Dec. 228690
c NEW SOLUTION FOUND: -3962277 @ 428.18 @ #Dec. 228722
c NEW SOLUTION FOUND: -3962307 @ 428.19 @ #Dec. 228735
c NEW SOLUTION FOUND: -3962322 @ 428.19 @ #Dec. 228746
c NEW SOLUTION FOUND: -3962332 @ 428.21 @ #Dec. 228772
c NEW SOLUTION FOUND: -3962437 @ 428.32 @ #Dec. 228810
c NEW SOLUTION FOUND: -3962477 @ 428.36 @ #Dec. 228834
c NEW SOLUTION FOUND: -3962547 @ 428.37 @ #Dec. 228852
c NEW SOLUTION FOUND: -3963209 @ 428.93 @ #Dec. 228942
c NEW SOLUTION FOUND: -3963239 @ 428.94 @ #Dec. 228960
c NEW SOLUTION FOUND: -3963785 @ 428.95 @ #Dec. 228979
c NEW SOLUTION FOUND: -3963839 @ 428.95 @ #Dec. 228993
c NEW SOLUTION FOUND: -3964501 @ 429.4 @ #Dec. 229079
c NEW SOLUTION FOUND: -3964509 @ 429.4 @ #Dec. 229089
c NEW SOLUTION FOUND: -3964527 @ 429.4 @ #Dec. 229101
c NEW SOLUTION FOUND: -3964561 @ 429.64 @ #Dec. 229154
c NEW SOLUTION FOUND: -3964609 @ 429.65 @ #Dec. 229169
c NEW SOLUTION FOUND: -3964831 @ 430.31 @ #Dec. 229269
c NEW SOLUTION FOUND: -3964847 @ 430.32 @ #Dec. 229285
c NEW SOLUTION FOUND: -3965069 @ 430.82 @ #Dec. 229355
c NEW SOLUTION FOUND: -3965085 @ 430.82 @ #Dec. 229371
c NEW SOLUTION FOUND: -3965375 @ 431.09 @ #Dec. 229409
c NEW SOLUTION FOUND: -3965525 @ 431.1 @ #Dec. 229414
c NEW SOLUTION FOUND: -3965540 @ 431.1 @ #Dec. 229416
c NEW SOLUTION FOUND: -3965549 @ 431.27 @ #Dec. 229512
c NEW SOLUTION FOUND: -3965619 @ 431.27 @ #Dec. 229527
c NEW SOLUTION FOUND: -3965691 @ 431.37 @ #Dec. 229553
c NEW SOLUTION FOUND: -3965985 @ 433.15 @ #Dec. 229781
c NEW SOLUTION FOUND: -3966025 @ 433.17 @ #Dec. 229800
c NEW SOLUTION FOUND: -3966065 @ 433.22 @ #Dec. 229827
c NEW SOLUTION FOUND: -3966095 @ 433.23 @ #Dec. 229842
c NEW SOLUTION FOUND: -3966157 @ 433.36 @ #Dec. 229899
c NEW SOLUTION FOUND: -3966167 @ 433.37 @ #Dec. 229908
c NEW SOLUTION FOUND: -3966223 @ 433.84 @ #Dec. 229980
c NEW SOLUTION FOUND: -3966263 @ 433.85 @ #Dec. 229997
c NEW SOLUTION FOUND: -3966333 @ 433.95 @ #Dec. 230043
c NEW SOLUTION FOUND: -3966359 @ 434.08 @ #Dec. 230096
c NEW SOLUTION FOUND: -3966405 @ 434.08 @ #Dec. 230107
c NEW SOLUTION FOUND: -3966501 @ 434.49 @ #Dec. 230184
c NEW SOLUTION FOUND: -3966561 @ 434.59 @ #Dec. 230231
c NEW SOLUTION FOUND: -3966571 @ 434.59 @ #Dec. 230245
c NEW SOLUTION FOUND: -3966633 @ 434.71 @ #Dec. 230286
c NEW SOLUTION FOUND: -3966643 @ 434.71 @ #Dec. 230295
c NEW SOLUTION FOUND: -3966977 @ 435.85 @ #Dec. 230526
c NEW SOLUTION FOUND: -3967017 @ 435.95 @ #Dec. 230571
c NEW SOLUTION FOUND: -3967047 @ 435.96 @ #Dec. 230585
c NEW SOLUTION FOUND: -3967109 @ 436.08 @ #Dec. 230622
c NEW SOLUTION FOUND: -3967119 @ 436.08 @ #Dec. 230631
c NEW SOLUTION FOUND: -3967215 @ 436.43 @ #Dec. 230698
c NEW SOLUTION FOUND: -3967255 @ 436.53 @ #Dec. 230740
c NEW SOLUTION FOUND: -3967285 @ 436.53 @ #Dec. 230754
c NEW SOLUTION FOUND: -3967347 @ 436.74 @ #Dec. 230804
c NEW SOLUTION FOUND: -3967357 @ 436.75 @ #Dec. 230815
c NEW SOLUTION FOUND: -3967453 @ 437.13 @ #Dec. 230884
c NEW SOLUTION FOUND: -3967493 @ 437.23 @ #Dec. 230923
c NEW SOLUTION FOUND: -3967523 @ 437.24 @ #Dec. 230937
c NEW SOLUTION FOUND: -3967585 @ 437.43 @ #Dec. 230978
c NEW SOLUTION FOUND: -3967595 @ 437.43 @ #Dec. 230987
c NEW SOLUTION FOUND: -3967647 @ 438.25 @ #Dec. 231156
c NEW SOLUTION FOUND: -3968369 @ 438.51 @ #Dec. 231205
c NEW SOLUTION FOUND: -3968417 @ 438.54 @ #Dec. 231221
c NEW SOLUTION FOUND: -3968881 @ 438.75 @ #Dec. 231280
c NEW SOLUTION FOUND: -3968921 @ 438.84 @ #Dec. 231321
c NEW SOLUTION FOUND: -3968941 @ 438.85 @ #Dec. 231335
c NEW SOLUTION FOUND: -3968951 @ 438.85 @ #Dec. 231348
c NEW SOLUTION FOUND: -3968977 @ 439.04 @ #Dec. 231395
c NEW SOLUTION FOUND: -3969023 @ 439.04 @ #Dec. 231405
c NEW SOLUTION FOUND: -3969119 @ 439.46 @ #Dec. 231498
c NEW SOLUTION FOUND: -3969179 @ 439.55 @ #Dec. 231538
c NEW SOLUTION FOUND: -3969189 @ 439.56 @ #Dec. 231554
c NEW SOLUTION FOUND: -3969261 @ 439.77 @ #Dec. 231609
c NEW SOLUTION FOUND: -3969357 @ 440.17 @ #Dec. 231704
c NEW SOLUTION FOUND: -3969397 @ 440.27 @ #Dec. 231745
c NEW SOLUTION FOUND: -3969427 @ 440.27 @ #Dec. 231759
c NEW SOLUTION FOUND: -3969445 @ 440.47 @ #Dec. 231808
c NEW SOLUTION FOUND: -3969453 @ 440.47 @ #Dec. 231816
c NEW SOLUTION FOUND: -3969499 @ 440.48 @ #Dec. 231825
c NEW SOLUTION FOUND: -3969833 @ 441.48 @ #Dec. 232013
c NEW SOLUTION FOUND: -3969893 @ 441.57 @ #Dec. 232053
c NEW SOLUTION FOUND: -3969903 @ 441.58 @ #Dec. 232067
c NEW SOLUTION FOUND: -3969965 @ 441.77 @ #Dec. 232113
c NEW SOLUTION FOUND: -3969975 @ 441.78 @ #Dec. 232122
c NEW SOLUTION FOUND: -3970071 @ 442.31 @ #Dec. 232225
c NEW SOLUTION FOUND: -3970141 @ 442.43 @ #Dec. 232278
c NEW SOLUTION FOUND: -3970143 @ 442.64 @ #Dec. 232338
c NEW SOLUTION FOUND: -3970159 @ 442.64 @ #Dec. 232346
c NEW SOLUTION FOUND: -3970167 @ 442.64 @ #Dec. 232353
c NEW SOLUTION FOUND: -3970213 @ 442.65 @ #Dec. 232363
c NEW SOLUTION FOUND: -3970309 @ 443.18 @ #Dec. 232461
c NEW SOLUTION FOUND: -3970369 @ 443.32 @ #Dec. 232517
c NEW SOLUTION FOUND: -3970379 @ 443.32 @ #Dec. 232531
c NEW SOLUTION FOUND: -3970441 @ 443.52 @ #Dec. 232577
c NEW SOLUTION FOUND: -3970451 @ 443.52 @ #Dec. 232586
c NEW SOLUTION FOUND: -3970785 @ 445.21 @ #Dec. 232860
c NEW SOLUTION FOUND: -3970845 @ 445.43 @ #Dec. 232928
c NEW SOLUTION FOUND: -3970855 @ 445.43 @ #Dec. 232942
c NEW SOLUTION FOUND: -3970917 @ 445.63 @ #Dec. 233001
c NEW SOLUTION FOUND: -3970927 @ 445.64 @ #Dec. 233010
c NEW SOLUTION FOUND: -3970959 @ 446.09 @ #Dec. 233085
c NEW SOLUTION FOUND: -3971023 @ 446.1 @ #Dec. 233102
c NEW SOLUTION FOUND: -3971083 @ 446.25 @ #Dec. 233165
c NEW SOLUTION FOUND: -3971093 @ 446.25 @ #Dec. 233179
c NEW SOLUTION FOUND: -3971155 @ 446.43 @ #Dec. 233240
c NEW SOLUTION FOUND: -3971165 @ 446.43 @ #Dec. 233250
c NEW SOLUTION FOUND: -3971261 @ 446.81 @ #Dec. 233327
c NEW SOLUTION FOUND: -3971321 @ 446.95 @ #Dec. 233384
c NEW SOLUTION FOUND: -3971331 @ 446.95 @ #Dec. 233398
c NEW SOLUTION FOUND: -3971393 @ 447.11 @ #Dec. 233439
c NEW SOLUTION FOUND: -3971403 @ 447.11 @ #Dec. 233448
c NEW SOLUTION FOUND: -3971437 @ 448.98 @ #Dec. 233796
c NEW SOLUTION FOUND: -3971455 @ 448.99 @ #Dec. 233812
c NEW SOLUTION FOUND: -3971765 @ 449.21 @ #Dec. 233845
c NEW SOLUTION FOUND: -3971795 @ 449.21 @ #Dec. 233849
c NEW SOLUTION FOUND: -3971810 @ 449.21 @ #Dec. 233851
c NEW SOLUTION FOUND: -3971813 @ 449.25 @ #Dec. 233872
c NEW SOLUTION FOUND: -3971828 @ 449.25 @ #Dec. 233875
c NEW SOLUTION FOUND: -3971892 @ 449.29 @ #Dec. 233897
c NEW SOLUTION FOUND: -3972051 @ 449.35 @ #Dec. 233930
c NEW SOLUTION FOUND: -3972225 @ 449.48 @ #Dec. 233964
c NEW SOLUTION FOUND: -3972515 @ 449.8 @ #Dec. 234011
c NEW SOLUTION FOUND: -3972680 @ 449.8 @ #Dec. 234015
c NEW SOLUTION FOUND: -3972721 @ 449.85 @ #Dec. 234039
c NEW SOLUTION FOUND: -3972821 @ 449.93 @ #Dec. 234066
c NEW SOLUTION FOUND: -3972831 @ 450.01 @ #Dec. 234091
c NEW SOLUTION FOUND: -3972991 @ 450.55 @ #Dec. 234200
c NEW SOLUTION FOUND: -3973141 @ 450.55 @ #Dec. 234205
c NEW SOLUTION FOUND: -3973156 @ 450.55 @ #Dec. 234207
c NEW SOLUTION FOUND: -3973197 @ 450.6 @ #Dec. 234231
c NEW SOLUTION FOUND: -3973297 @ 450.65 @ #Dec. 234256
c NEW SOLUTION FOUND: -3973307 @ 450.66 @ #Dec. 234267
c NEW SOLUTION FOUND: -3973415 @ 451.99 @ #Dec. 234545
c NEW SOLUTION FOUND: -3973461 @ 452.28 @ #Dec. 234596
c NEW SOLUTION FOUND: -3973541 @ 452.31 @ #Dec. 234614
c NEW SOLUTION FOUND: -3973653 @ 452.4 @ #Dec. 234639
c NEW SOLUTION FOUND: -3973673 @ 452.68 @ #Dec. 234698
c NEW SOLUTION FOUND: -3973773 @ 452.7 @ #Dec. 234712
c NEW SOLUTION FOUND: -3973783 @ 452.7 @ #Dec. 234724
c NEW SOLUTION FOUND: -3973943 @ 453.05 @ #Dec. 234838
c NEW SOLUTION FOUND: -3974063 @ 453.05 @ #Dec. 234844
c NEW SOLUTION FOUND: -3974108 @ 453.05 @ #Dec. 234847
c NEW SOLUTION FOUND: -3974149 @ 453.09 @ #Dec. 234866
c NEW SOLUTION FOUND: -3974249 @ 453.13 @ #Dec. 234889
c NEW SOLUTION FOUND: -3974259 @ 453.13 @ #Dec. 234900
c NEW SOLUTION FOUND: -3974303 @ 454.83 @ #Dec. 235236
c NEW SOLUTION FOUND: -3974431 @ 454.97 @ #Dec. 235278
c NEW SOLUTION FOUND: -3974523 @ 455.2 @ #Dec. 235336
c NEW SOLUTION FOUND: -3974605 @ 455.21 @ #Dec. 235352
c NEW SOLUTION FOUND: -3974625 @ 455.56 @ #Dec. 235407
c NEW SOLUTION FOUND: -3974735 @ 455.6 @ #Dec. 235438
c NEW SOLUTION FOUND: -3974777 @ 456.25 @ #Dec. 235583
c NEW SOLUTION FOUND: -3974807 @ 456.25 @ #Dec. 235587
c NEW SOLUTION FOUND: -3974822 @ 456.25 @ #Dec. 235589
c NEW SOLUTION FOUND: -3974863 @ 456.29 @ #Dec. 235608
c NEW SOLUTION FOUND: -3974973 @ 456.34 @ #Dec. 235639
c NEW SOLUTION FOUND: -3975015 @ 456.98 @ #Dec. 235782
c NEW SOLUTION FOUND: -3975060 @ 456.98 @ #Dec. 235785
c NEW SOLUTION FOUND: -3975101 @ 457.02 @ #Dec. 235805
c NEW SOLUTION FOUND: -3975211 @ 457.13 @ #Dec. 235863
c NEW SOLUTION FOUND: -3975295 @ 461.18 @ #Dec. 236695
c NEW SOLUTION FOUND: -3975375 @ 461.44 @ #Dec. 236765
c NEW SOLUTION FOUND: -3975435 @ 461.69 @ #Dec. 236822
c NEW SOLUTION FOUND: -3975485 @ 461.71 @ #Dec. 236838
c NEW SOLUTION FOUND: -3975567 @ 463.04 @ #Dec. 237098
c NEW SOLUTION FOUND: -3975627 @ 463.19 @ #Dec. 237174
c NEW SOLUTION FOUND: -3975637 @ 463.2 @ #Dec. 237193
c NEW SOLUTION FOUND: -3975805 @ 463.46 @ #Dec. 237263
c NEW SOLUTION FOUND: -3975865 @ 463.64 @ #Dec. 237337
c NEW SOLUTION FOUND: -3975875 @ 463.66 @ #Dec. 237356
c NEW SOLUTION FOUND: -3976737 @ 465.78 @ #Dec. 237969
c NEW SOLUTION FOUND: -3976827 @ 465.79 @ #Dec. 237983
c NEW SOLUTION FOUND: -3976842 @ 465.79 @ #Dec. 237993
c NEW SOLUTION FOUND: -3976929 @ 465.89 @ #Dec. 238020
c NEW SOLUTION FOUND: -3976989 @ 465.9 @ #Dec. 238033
c NEW SOLUTION FOUND: -3977019 @ 465.9 @ #Dec. 238042
c NEW SOLUTION FOUND: -3977034 @ 465.9 @ #Dec. 238049
c NEW SOLUTION FOUND: -3977208 @ 466.03 @ #Dec. 238105
c NEW SOLUTION FOUND: -3978217 @ 466.03 @ #Dec. 238116
c NEW SOLUTION FOUND: -3978232 @ 466.04 @ #Dec. 238122
c NEW SOLUTION FOUND: -3978368 @ 466.05 @ #Dec. 238134
c NEW SOLUTION FOUND: -3978377 @ 466.21 @ #Dec. 238192
c NEW SOLUTION FOUND: -3978409 @ 466.27 @ #Dec. 238227
c NEW SOLUTION FOUND: -3978437 @ 466.35 @ #Dec. 238253
c NEW SOLUTION FOUND: -3978447 @ 466.36 @ #Dec. 238276
c NEW SOLUTION FOUND: -3978519 @ 466.37 @ #Dec. 238289
c NEW SOLUTION FOUND: -3978627 @ 466.82 @ #Dec. 238436
c NEW SOLUTION FOUND: -3978659 @ 466.85 @ #Dec. 238457
c NEW SOLUTION FOUND: -3978697 @ 466.88 @ #Dec. 238481
c NEW SOLUTION FOUND: -3978769 @ 466.89 @ #Dec. 238494
c NEW SOLUTION FOUND: -3978781 @ 467.47 @ #Dec. 238674
c NEW SOLUTION FOUND: -3978909 @ 469.63 @ #Dec. 239100
c NEW SOLUTION FOUND: -3978947 @ 470 @ #Dec. 239190
c NEW SOLUTION FOUND: -3979019 @ 470.01 @ #Dec. 239199
c NEW SOLUTION FOUND: -3979063 @ 475.59 @ #Dec. 240112
c NEW SOLUTION FOUND: -3979365 @ 475.68 @ #Dec. 240145
c NEW SOLUTION FOUND: -3979603 @ 475.89 @ #Dec. 240200
c NEW SOLUTION FOUND: -3979623 @ 477.08 @ #Dec. 240386
c NEW SOLUTION FOUND: -3979861 @ 477.24 @ #Dec. 240469
c NEW SOLUTION FOUND: -3979889 @ 478.09 @ #Dec. 240728
c NEW SOLUTION FOUND: -3979899 @ 478.09 @ #Dec. 240742
c NEW SOLUTION FOUND: -3979961 @ 478.15 @ #Dec. 240755
c NEW SOLUTION FOUND: -3979971 @ 478.16 @ #Dec. 240766
c NEW SOLUTION FOUND: -3980067 @ 478.3 @ #Dec. 240819
c NEW SOLUTION FOUND: -3980099 @ 478.55 @ #Dec. 240916
c NEW SOLUTION FOUND: -3980127 @ 478.86 @ #Dec. 241049
c NEW SOLUTION FOUND: -3980137 @ 478.87 @ #Dec. 241066
c NEW SOLUTION FOUND: -3980199 @ 479.03 @ #Dec. 241128
c NEW SOLUTION FOUND: -3980209 @ 479.05 @ #Dec. 241143
c NEW SOLUTION FOUND: -3980225 @ 526.59 @ #Dec. 248373
c NEW SOLUTION FOUND: -3980337 @ 532.33 @ #Dec. 251271
c NEW SOLUTION FOUND: -3980493 @ 532.61 @ #Dec. 251416
c NEW SOLUTION FOUND: -3980511 @ 532.67 @ #Dec. 251461
c NEW SOLUTION FOUND: -3980797 @ 532.75 @ #Dec. 251492
c NEW SOLUTION FOUND: -3980813 @ 532.82 @ #Dec. 251511
c NEW SOLUTION FOUND: -3981499 @ 534.12 @ #Dec. 252774
c NEW SOLUTION FOUND: -3981515 @ 534.19 @ #Dec. 252794
c NEW SOLUTION FOUND: -3981573 @ 534.56 @ #Dec. 252863
c NEW SOLUTION FOUND: -3981593 @ 534.59 @ #Dec. 252882
c NEW SOLUTION FOUND: -3981603 @ 534.59 @ #Dec. 252895
c NEW SOLUTION FOUND: -3981667 @ 534.63 @ #Dec. 252916
c NEW SOLUTION FOUND: -3981683 @ 534.64 @ #Dec. 252928
c NEW SOLUTION FOUND: -3981749 @ 534.8 @ #Dec. 252963
c NEW SOLUTION FOUND: -3981765 @ 534.84 @ #Dec. 252981
c NEW SOLUTION FOUND: -3981811 @ 535.26 @ #Dec. 253217
c NEW SOLUTION FOUND: -3981891 @ 535.29 @ #Dec. 253237
c NEW SOLUTION FOUND: -3981987 @ 535.34 @ #Dec. 253266
c NEW SOLUTION FOUND: -3982003 @ 535.39 @ #Dec. 253305
c NEW SOLUTION FOUND: -3982009 @ 542.79 @ #Dec. 256881
c NEW SOLUTION FOUND: -3982109 @ 542.82 @ #Dec. 256893
c NEW SOLUTION FOUND: -3982419 @ 542.85 @ #Dec. 256913
c NEW SOLUTION FOUND: -3982459 @ 542.87 @ #Dec. 256928
c NEW SOLUTION FOUND: -3982489 @ 542.87 @ #Dec. 256941
c NEW SOLUTION FOUND: -3982551 @ 542.94 @ #Dec. 256972
c NEW SOLUTION FOUND: -3982553 @ 542.95 @ #Dec. 256990
c NEW SOLUTION FOUND: -3982561 @ 542.95 @ #Dec. 256999
c NEW SOLUTION FOUND: -3982563 @ 544.77 @ #Dec. 257282
c NEW SOLUTION FOUND: -3982609 @ 544.78 @ #Dec. 257303
c NEW SOLUTION FOUND: -3982693 @ 551.91 @ #Dec. 258838
c NEW SOLUTION FOUND: -3982803 @ 551.95 @ #Dec. 258862
c NEW SOLUTION FOUND: -3982835 @ 552.1 @ #Dec. 258947
c NEW SOLUTION FOUND: -3982873 @ 552.2 @ #Dec. 259019
c NEW SOLUTION FOUND: -3982899 @ 552.21 @ #Dec. 259045
c NEW SOLUTION FOUND: -3982945 @ 552.22 @ #Dec. 259067
c NEW SOLUTION FOUND: -3982959 @ 552.47 @ #Dec. 259209
c NEW SOLUTION FOUND: -3982969 @ 552.47 @ #Dec. 259249
c NEW SOLUTION FOUND: -3982995 @ 552.48 @ #Dec. 259274
c NEW SOLUTION FOUND: -3983031 @ 552.49 @ #Dec. 259299
c NEW SOLUTION FOUND: -3983041 @ 552.49 @ #Dec. 259319
c NEW SOLUTION FOUND: -3983075 @ 553.79 @ #Dec. 259679
c NEW SOLUTION FOUND: -3983185 @ 553.84 @ #Dec. 259718
c NEW SOLUTION FOUND: -4001015 @ 593.49 @ #Dec. 264350
c NEW SOLUTION FOUND: -4001079 @ 593.51 @ #Dec. 264398
c NEW SOLUTION FOUND: -4005274 @ 594 @ #Dec. 265102
c NEW SOLUTION FOUND: -4005284 @ 594.01 @ #Dec. 265118
c NEW SOLUTION FOUND: -4005314 @ 594.03 @ #Dec. 265137
c NEW SOLUTION FOUND: -4009127 @ 594.11 @ #Dec. 265222
c NEW SOLUTION FOUND: -4009154 @ 594.13 @ #Dec. 265244
c NEW SOLUTION FOUND: -4009257 @ 594.15 @ #Dec. 265265
c NEW SOLUTION FOUND: -4009287 @ 594.16 @ #Dec. 265279
c NEW SOLUTION FOUND: -4009314 @ 594.18 @ #Dec. 265316
c NEW SOLUTION FOUND: -4011287 @ 594.64 @ #Dec. 266248
c NEW SOLUTION FOUND: -4011314 @ 594.77 @ #Dec. 266431
c NEW SOLUTION FOUND: -4023279 @ 598.67 @ #Dec. 269177
c NEW SOLUTION FOUND: -4023339 @ 598.69 @ #Dec. 269198
c NEW SOLUTION FOUND: -4023469 @ 598.72 @ #Dec. 269216
c NEW SOLUTION FOUND: -4031531 @ 598.75 @ #Dec. 269242
c NEW SOLUTION FOUND: -4031661 @ 598.81 @ #Dec. 269270
c NEW SOLUTION FOUND: -4031691 @ 598.89 @ #Dec. 269300
c NEW SOLUTION FOUND: -4035181 @ 598.94 @ #Dec. 269329
c NEW SOLUTION FOUND: -4035191 @ 598.97 @ #Dec. 269346
c NEW SOLUTION FOUND: -4035561 @ 599.01 @ #Dec. 269371
c NEW SOLUTION FOUND: -4035691 @ 599.04 @ #Dec. 269393
c NEW SOLUTION FOUND: -4035715 @ 599.25 @ #Dec. 269479
c NEW SOLUTION FOUND: -4035855 @ 599.62 @ #Dec. 269637
c NEW SOLUTION FOUND: -4036355 @ 599.64 @ #Dec. 269656
c NEW SOLUTION FOUND: -4036435 @ 599.67 @ #Dec. 269680
c NEW SOLUTION FOUND: -4037075 @ 599.69 @ #Dec. 269703
c NEW SOLUTION FOUND: -4037205 @ 599.72 @ #Dec. 269729
c NEW SOLUTION FOUND: -4037315 @ 599.78 @ #Dec. 269765
c NEW SOLUTION FOUND: -4037345 @ 599.81 @ #Dec. 269787
c NEW SOLUTION FOUND: -4037445 @ 599.86 @ #Dec. 269815
c NEW SOLUTION FOUND: -4037475 @ 599.91 @ #Dec. 269841
c NEW SOLUTION FOUND: -4037507 @ 600.15 @ #Dec. 269968
c NEW SOLUTION FOUND: -4037537 @ 600.19 @ #Dec. 269990
c NEW SOLUTION FOUND: -4037637 @ 600.23 @ #Dec. 270013
c NEW SOLUTION FOUND: -4037667 @ 600.27 @ #Dec. 270034
c NEW SOLUTION FOUND: -4037685 @ 601.64 @ #Dec. 270508
c NEW SOLUTION FOUND: -4037715 @ 601.68 @ #Dec. 270529
c NEW SOLUTION FOUND: -4037739 @ 602.18 @ #Dec. 270782
c NEW SOLUTION FOUND: -4037760 @ 605.64 @ #Dec. 272626
c NEW SOLUTION FOUND: -4037771 @ 605.74 @ #Dec. 272702
c NEW SOLUTION FOUND: -4037781 @ 605.75 @ #Dec. 272715
c NEW SOLUTION FOUND: -4037798 @ 606.28 @ #Dec. 273073
c NEW SOLUTION FOUND: -4037808 @ 606.37 @ #Dec. 273166
c NEW SOLUTION FOUND: -4037835 @ 607.34 @ #Dec. 273618
c NEW SOLUTION FOUND: -4037840 @ 607.37 @ #Dec. 273640
c NEW SOLUTION FOUND: -4037850 @ 607.37 @ #Dec. 273655
c NEW SOLUTION FOUND: -4037894 @ 614.96 @ #Dec. 276210
c NEW SOLUTION FOUND: -4037904 @ 614.96 @ #Dec. 276216
c NEW SOLUTION FOUND: -4037921 @ 616.01 @ #Dec. 276570
c NEW SOLUTION FOUND: -4037931 @ 616.02 @ #Dec. 276583
c NEW SOLUTION FOUND: -4037936 @ 616.06 @ #Dec. 276622
c NEW SOLUTION FOUND: -4037946 @ 616.07 @ #Dec. 276639
c NEW SOLUTION FOUND: -4038000 @ 625.85 @ #Dec. 279827
c NEW SOLUTION FOUND: -4038069 @ 626.43 @ #Dec. 280297
c NEW SOLUTION FOUND: -4038111 @ 635.67 @ #Dec. 282178
c NEW SOLUTION FOUND: -4038138 @ 638.46 @ #Dec. 282908
c NEW SOLUTION FOUND: -4038180 @ 639.48 @ #Dec. 283952
c NEW SOLUTION FOUND: -4038207 @ 648.44 @ #Dec. 287264
c NEW SOLUTION FOUND: -4038222 @ 648.47 @ #Dec. 287274
c NEW SOLUTION FOUND: -4038224 @ 648.55 @ #Dec. 287359
c NEW SOLUTION FOUND: -4038234 @ 648.57 @ #Dec. 287378
c NEW SOLUTION FOUND: -4038251 @ 654.17 @ #Dec. 294830
c NEW SOLUTION FOUND: -4038261 @ 654.18 @ #Dec. 294846
c NEW SOLUTION FOUND: -4038266 @ 654.42 @ #Dec. 295929
c NEW SOLUTION FOUND: -4038276 @ 654.56 @ #Dec. 296962
c NEW SOLUTION FOUND: -4038324 @ 658.81 @ #Dec. 302978
c NEW SOLUTION FOUND: -4038330 @ 659.3 @ #Dec. 303840
c NEW SOLUTION FOUND: -4038362 @ 662.28 @ #Dec. 305052
c NEW SOLUTION FOUND: -4038372 @ 662.3 @ #Dec. 305104
c NEW SOLUTION FOUND: -4038399 @ 662.84 @ #Dec. 305404
c NEW SOLUTION FOUND: -4038441 @ 664.07 @ #Dec. 306519
c NEW SOLUTION FOUND: -4038468 @ 665.32 @ #Dec. 307558
c NEW SOLUTION FOUND: -4038483 @ 666.71 @ #Dec. 308292
c NEW SOLUTION FOUND: -4038495 @ 666.75 @ #Dec. 308358
c NEW SOLUTION FOUND: -4038537 @ 674 @ #Dec. 310808
c NEW SOLUTION FOUND: -4038591 @ 676.32 @ #Dec. 311516
c NEW SOLUTION FOUND: -4038660 @ 696.75 @ #Dec. 318395
c NEW SOLUTION FOUND: -4038702 @ 701.16 @ #Dec. 326799
c NEW SOLUTION FOUND: -4038706 @ 702.52 @ #Dec. 328579
c NEW SOLUTION FOUND: -4038756 @ 702.52 @ #Dec. 328594
c NEW SOLUTION FOUND: -4038771 @ 704.51 @ #Dec. 332547
c NEW SOLUTION FOUND: -4038788 @ 704.54 @ #Dec. 332574
c NEW SOLUTION FOUND: -4038798 @ 704.56 @ #Dec. 332592
c NEW SOLUTION FOUND: -4038867 @ 723.54 @ #Dec. 344051
c NEW SOLUTION FOUND: -4038885 @ 724.3 @ #Dec. 344588
c NEW SOLUTION FOUND: -4038889 @ 724.34 @ #Dec. 344623
c NEW SOLUTION FOUND: -4038897 @ 724.35 @ #Dec. 344644
c NEW SOLUTION FOUND: -4038911 @ 724.5 @ #Dec. 344782
c NEW SOLUTION FOUND: -4038921 @ 724.55 @ #Dec. 344840
c NEW SOLUTION FOUND: -4038945 @ 728.45 @ #Dec. 346547
c NEW SOLUTION FOUND: -4038953 @ 728.52 @ #Dec. 346879
c NEW SOLUTION FOUND: -4038963 @ 728.76 @ #Dec. 347585
c NEW SOLUTION FOUND: -4039005 @ 730.24 @ #Dec. 349943
c NEW SOLUTION FOUND: -4039040 @ 732.52 @ #Dec. 350826
c NEW SOLUTION FOUND: -4039155 @ 732.6 @ #Dec. 350891
c NEW SOLUTION FOUND: -4039170 @ 732.62 @ #Dec. 350908
c Restart #34 #Var: 588 #Dec: 358829 LB: -16515027 @ 742.14
c Restart #35 #Var: 588 #Dec: 375839 LB: -16515027 @ 796.37
c Restart #36 #Var: 588 #Dec: 383113 LB: -16515027 @ 802.03
c Restart #37 #Var: 588 #Dec: 402348 LB: -16515027 @ 877.53
c CHANGE to MIS mode... 	UB: -4039170	MIS: -16515027	LPR: -2147483648 (0)	Diff: 0.0076904
c Restart #0 #Var: 588 #Dec: 411775 LB: -16515027 @ 968.79
c Restart #1 #Var: 588 #Dec: 412032 LB: -16515027 @ 969.55
c Restart #2 #Var: 588 #Dec: 412483 LB: -16515027 @ 971.53
c Restart #3 #Var: 588 #Dec: 414086 LB: -16515027 @ 973.03
c Restart #4 #Var: 588 #Dec: 418457 LB: -16515027 @ 980.32
c Restart #5 #Var: 588 #Dec: 421174 LB: -16515027 @ 987.62
c Restart #6 #Var: 587 #Dec: 424146 LB: -16515027 @ 997.01
c Restart #7 #Var: 587 #Dec: 427718 LB: -16515027 @ 1012.1
c Restart #8 #Var: 587 #Dec: 430067 LB: -16515027 @ 1040.8
c NEW SOLUTION FOUND: -4098418 @ 1053.8 @ #Dec. 433869
c NEW SOLUTION FOUND: -4098546 @ 1053.8 @ #Dec. 433872
c NEW SOLUTION FOUND: -4098610 @ 1053.8 @ #Dec. 433877
c NEW SOLUTION FOUND: -4098626 @ 1053.8 @ #Dec. 433880
c NEW SOLUTION FOUND: -4098634 @ 1053.8 @ #Dec. 433881
c NEW SOLUTION FOUND: -4098650 @ 1053.8 @ #Dec. 433885
c NEW SOLUTION FOUND: -4098666 @ 1053.8 @ #Dec. 433888
c NEW SOLUTION FOUND: -4098714 @ 1053.8 @ #Dec. 433895
c NEW SOLUTION FOUND: -4098774 @ 1053.8 @ #Dec. 433898
c NEW SOLUTION FOUND: -4098794 @ 1053.8 @ #Dec. 433900
c NEW SOLUTION FOUND: -4098902 @ 1053.8 @ #Dec. 433906
c NEW SOLUTION FOUND: -4098922 @ 1053.8 @ #Dec. 433911
c NEW SOLUTION FOUND: -4098962 @ 1053.8 @ #Dec. 433919
c NEW SOLUTION FOUND: -4098972 @ 1053.8 @ #Dec. 433928
c NEW SOLUTION FOUND: -4099032 @ 1053.8 @ #Dec. 433940
c NEW SOLUTION FOUND: -4099884 @ 1053.9 @ #Dec. 433993
c NEW SOLUTION FOUND: -4100012 @ 1054 @ #Dec. 434014
c NEW SOLUTION FOUND: -4100032 @ 1054 @ #Dec. 434043
c NEW SOLUTION FOUND: -4100988 @ 1054.5 @ #Dec. 434257
c NEW SOLUTION FOUND: -4102012 @ 1054.5 @ #Dec. 434277
c NEW SOLUTION FOUND: -4102502 @ 1054.6 @ #Dec. 434299
c NEW SOLUTION FOUND: -4102972 @ 1054.6 @ #Dec. 434336
c NEW SOLUTION FOUND: -4102992 @ 1054.6 @ #Dec. 434351
c NEW SOLUTION FOUND: -4103002 @ 1054.6 @ #Dec. 434363
c NEW SOLUTION FOUND: -4103932 @ 1054.6 @ #Dec. 434385
c NEW SOLUTION FOUND: -4104012 @ 1054.6 @ #Dec. 434404
c NEW SOLUTION FOUND: -4104032 @ 1054.6 @ #Dec. 434418
c NEW SOLUTION FOUND: -4105212 @ 1054.7 @ #Dec. 434449
c NEW SOLUTION FOUND: -4105532 @ 1054.7 @ #Dec. 434468
c NEW SOLUTION FOUND: -4105992 @ 1055 @ #Dec. 434663
c NEW SOLUTION FOUND: -4106002 @ 1055 @ #Dec. 434676
c NEW SOLUTION FOUND: -4107032 @ 1055 @ #Dec. 434694
c NEW SOLUTION FOUND: -4107132 @ 1055.2 @ #Dec. 434799
c NEW SOLUTION FOUND: -4107772 @ 1055.2 @ #Dec. 434844
c NEW SOLUTION FOUND: -4108012 @ 1055.3 @ #Dec. 434876
c NEW SOLUTION FOUND: -4108032 @ 1055.3 @ #Dec. 434889
c NEW SOLUTION FOUND: -4108123 @ 1058.5 @ #Dec. 435621
c NEW SOLUTION FOUND: -4108143 @ 1058.5 @ #Dec. 435658
c NEW SOLUTION FOUND: -4108185 @ 1060.5 @ #Dec. 436076
c NEW SOLUTION FOUND: -4108193 @ 1060.6 @ #Dec. 436124
c NEW SOLUTION FOUND: -4108293 @ 1060.7 @ #Dec. 436147
c NEW SOLUTION FOUND: -4108308 @ 1060.8 @ #Dec. 436184
c NEW SOLUTION FOUND: -4108335 @ 1060.9 @ #Dec. 436285
c NEW SOLUTION FOUND: -4108489 @ 1062 @ #Dec. 436668
c NEW SOLUTION FOUND: -4108739 @ 1062 @ #Dec. 436701
c NEW SOLUTION FOUND: -4109713 @ 1063.3 @ #Dec. 437220
c NEW SOLUTION FOUND: -4109963 @ 1063.4 @ #Dec. 437239
c NEW SOLUTION FOUND: -4110271 @ 1063.9 @ #Dec. 437526
c NEW SOLUTION FOUND: -4110298 @ 1064.1 @ #Dec. 437635
c NEW SOLUTION FOUND: -4110340 @ 1064.6 @ #Dec. 438032
c NEW SOLUTION FOUND: -4110367 @ 1066.5 @ #Dec. 439975
c NEW SOLUTION FOUND: -4110394 @ 1066.8 @ #Dec. 440185
c NEW SOLUTION FOUND: -4110396 @ 1068.3 @ #Dec. 441032
c NEW SOLUTION FOUND: -4110424 @ 1068.4 @ #Dec. 441070
c NEW SOLUTION FOUND: -4110436 @ 1068.4 @ #Dec. 441110
c NEW SOLUTION FOUND: -4110463 @ 1068.7 @ #Dec. 441255
c NEW SOLUTION FOUND: -4110478 @ 1088.3 @ #Dec. 443566
c NEW SOLUTION FOUND: -4110492 @ 1089.1 @ #Dec. 443736
c NEW SOLUTION FOUND: -4110532 @ 1089.1 @ #Dec. 443772
c NEW SOLUTION FOUND: -4110589 @ 1090 @ #Dec. 443959
c NEW SOLUTION FOUND: -4110601 @ 1090.1 @ #Dec. 443992
c NEW SOLUTION FOUND: -4110623 @ 1110 @ #Dec. 446919
c NEW SOLUTION FOUND: -4110635 @ 1110.1 @ #Dec. 447022
c NEW SOLUTION FOUND: -4110836 @ 1110.9 @ #Dec. 447493
c NEW SOLUTION FOUND: -4110916 @ 1110.9 @ #Dec. 447519
c NEW SOLUTION FOUND: -4111006 @ 1110.9 @ #Dec. 447552
c NEW SOLUTION FOUND: -4111018 @ 1111.3 @ #Dec. 447684
c NEW SOLUTION FOUND: -4111045 @ 1111.8 @ #Dec. 447872
c NEW SOLUTION FOUND: -4111317 @ 1119 @ #Dec. 449381
c NEW SOLUTION FOUND: -4111349 @ 1119 @ #Dec. 449411
c NEW SOLUTION FOUND: -4111373 @ 1119.1 @ #Dec. 449475
c NEW SOLUTION FOUND: -4111795 @ 1119.2 @ #Dec. 449609
c NEW SOLUTION FOUND: -4113295 @ 1119.2 @ #Dec. 449615
c NEW SOLUTION FOUND: -4113343 @ 1119.3 @ #Dec. 449645
c NEW SOLUTION FOUND: -4113359 @ 1119.3 @ #Dec. 449701
c NEW SOLUTION FOUND: -4113419 @ 1119.4 @ #Dec. 449778
c NEW SOLUTION FOUND: -4113451 @ 1119.5 @ #Dec. 449866
c NEW SOLUTION FOUND: -4113459 @ 1119.5 @ #Dec. 449880
c NEW SOLUTION FOUND: -4113505 @ 1119.5 @ #Dec. 449947
c NEW SOLUTION FOUND: -4113545 @ 1119.7 @ #Dec. 449999
c NEW SOLUTION FOUND: -4113553 @ 1120 @ #Dec. 450190
c NEW SOLUTION FOUND: -4113571 @ 1120.9 @ #Dec. 450790
c NEW SOLUTION FOUND: -4113579 @ 1121.4 @ #Dec. 451003
c NEW SOLUTION FOUND: -4113608 @ 1122.4 @ #Dec. 451495
c NEW SOLUTION FOUND: -4113623 @ 1122.4 @ #Dec. 451524
c NEW SOLUTION FOUND: -4113635 @ 1122.5 @ #Dec. 451551
c NEW SOLUTION FOUND: -4114153 @ 1122.7 @ #Dec. 451613
c NEW SOLUTION FOUND: -4114403 @ 1122.7 @ #Dec. 451620
c NEW SOLUTION FOUND: -4114491 @ 1122.7 @ #Dec. 451642
c NEW SOLUTION FOUND: -4114764 @ 1123.8 @ #Dec. 452215
c NEW SOLUTION FOUND: -4114796 @ 1123.9 @ #Dec. 452250
c NEW SOLUTION FOUND: -4114836 @ 1124.6 @ #Dec. 453096
c NEW SOLUTION FOUND: -4114868 @ 1124.6 @ #Dec. 453116
c NEW SOLUTION FOUND: -4114904 @ 1124.9 @ #Dec. 453470
c NEW SOLUTION FOUND: -4114922 @ 1125 @ #Dec. 453494
c NEW SOLUTION FOUND: -4114938 @ 1128.9 @ #Dec. 454848
c NEW SOLUTION FOUND: -4114946 @ 1128.9 @ #Dec. 454872
c NEW SOLUTION FOUND: -4115074 @ 1129 @ #Dec. 454894
c NEW SOLUTION FOUND: -4115132 @ 1129.4 @ #Dec. 455370
c NEW SOLUTION FOUND: -4115266 @ 1129.8 @ #Dec. 455692
c NEW SOLUTION FOUND: -4115276 @ 1129.8 @ #Dec. 455704
c NEW SOLUTION FOUND: -4115319 @ 1130.2 @ #Dec. 456229
c NEW SOLUTION FOUND: -4115329 @ 1130.2 @ #Dec. 456249
c NEW SOLUTION FOUND: -4115335 @ 1130.3 @ #Dec. 456382
c NEW SOLUTION FOUND: -4115345 @ 1130.3 @ #Dec. 456412
c NEW SOLUTION FOUND: -4115527 @ 1135.4 @ #Dec. 458325
c NEW SOLUTION FOUND: -4115537 @ 1135.5 @ #Dec. 458356
c NEW SOLUTION FOUND: -4115540 @ 1136.1 @ #Dec. 459032
c NEW SOLUTION FOUND: -4115548 @ 1136.9 @ #Dec. 459438
c NEW SOLUTION FOUND: -4115554 @ 1137.8 @ #Dec. 460416
c NEW SOLUTION FOUND: -4115564 @ 1137.9 @ #Dec. 460685
c NEW SOLUTION FOUND: -4116313 @ 1149.8 @ #Dec. 463775
c NEW SOLUTION FOUND: -4116325 @ 1149.9 @ #Dec. 463941
c NEW SOLUTION FOUND: -4116421 @ 1153.1 @ #Dec. 465941
c NEW SOLUTION FOUND: -4116467 @ 1159.6 @ #Dec. 467284
c NEW SOLUTION FOUND: -4116811 @ 1160.3 @ #Dec. 468583
c NEW SOLUTION FOUND: -4116823 @ 1160.4 @ #Dec. 468857
c NEW SOLUTION FOUND: -4116835 @ 1160.6 @ #Dec. 469064
c NEW SOLUTION FOUND: -4116847 @ 1160.7 @ #Dec. 469269
c NEW SOLUTION FOUND: -4117057 @ 1162.2 @ #Dec. 471081
c NEW SOLUTION FOUND: -4117067 @ 1162.2 @ #Dec. 471086
c NEW SOLUTION FOUND: -4117083 @ 1162.2 @ #Dec. 471097
c NEW SOLUTION FOUND: -4117091 @ 1162.2 @ #Dec. 471106
c NEW SOLUTION FOUND: -4117219 @ 1162.2 @ #Dec. 471121
c NEW SOLUTION FOUND: -4117223 @ 1162.4 @ #Dec. 471175
c NEW SOLUTION FOUND: -4117235 @ 1162.6 @ #Dec. 471552
c NEW SOLUTION FOUND: -4117247 @ 1162.7 @ #Dec. 471564
c NEW SOLUTION FOUND: -4117555 @ 1164.4 @ #Dec. 473287
c NEW SOLUTION FOUND: -4117805 @ 1164.4 @ #Dec. 473291
c NEW SOLUTION FOUND: -4117820 @ 1164.4 @ #Dec. 473306
c NEW SOLUTION FOUND: -4117835 @ 1164.5 @ #Dec. 473320
c NEW SOLUTION FOUND: -4117847 @ 1164.5 @ #Dec. 473334
c NEW SOLUTION FOUND: -4117996 @ 1165.1 @ #Dec. 473726
c NEW SOLUTION FOUND: -4118011 @ 1165.1 @ #Dec. 473767
c NEW SOLUTION FOUND: -4118038 @ 1165.2 @ #Dec. 473869
c NEW SOLUTION FOUND: -4118118 @ 1165.2 @ #Dec. 473963
c NEW SOLUTION FOUND: -4118347 @ 1165.5 @ #Dec. 474143
c NEW SOLUTION FOUND: -4118743 @ 1165.7 @ #Dec. 474321
c NEW SOLUTION FOUND: -4118807 @ 1165.7 @ #Dec. 474334
c NEW SOLUTION FOUND: -4118823 @ 1165.8 @ #Dec. 474367
c NEW SOLUTION FOUND: -4119260 @ 1166 @ #Dec. 474564
c NEW SOLUTION FOUND: -4119270 @ 1166.1 @ #Dec. 474578
c NEW SOLUTION FOUND: -4119286 @ 1166.1 @ #Dec. 474602
c NEW SOLUTION FOUND: -4119515 @ 1167.1 @ #Dec. 475177
c NEW SOLUTION FOUND: -4119542 @ 1167.2 @ #Dec. 475291
c NEW SOLUTION FOUND: -4119687 @ 1167.9 @ #Dec. 476139
c NEW SOLUTION FOUND: -4119937 @ 1167.9 @ #Dec. 476195
c NEW SOLUTION FOUND: -4119953 @ 1168.2 @ #Dec. 476553
c NEW SOLUTION FOUND: -4119965 @ 1168.4 @ #Dec. 476740
c NEW SOLUTION FOUND: -4119991 @ 1169.3 @ #Dec. 477273
c NEW SOLUTION FOUND: -4120011 @ 1169.6 @ #Dec. 477610
c NEW SOLUTION FOUND: -4120019 @ 1169.9 @ #Dec. 478192
c NEW SOLUTION FOUND: -4120033 @ 1172.4 @ #Dec. 479136
c NEW SOLUTION FOUND: -4120061 @ 1172.5 @ #Dec. 479174
c NEW SOLUTION FOUND: -4120115 @ 1174.1 @ #Dec. 479775
c NEW SOLUTION FOUND: -4120130 @ 1174.2 @ #Dec. 479806
c NEW SOLUTION FOUND: -4120408 @ 1175.1 @ #Dec. 480213
c NEW SOLUTION FOUND: -4120442 @ 1176.3 @ #Dec. 481132
c NEW SOLUTION FOUND: -4120450 @ 1176.3 @ #Dec. 481206
c NEW SOLUTION FOUND: -4120492 @ 1177.2 @ #Dec. 481860
c NEW SOLUTION FOUND: -4120509 @ 1177.9 @ #Dec. 482374
c NEW SOLUTION FOUND: -4120573 @ 1178 @ #Dec. 482500
c NEW SOLUTION FOUND: -4120587 @ 1178.7 @ #Dec. 482913
c NEW SOLUTION FOUND: -4120603 @ 1178.8 @ #Dec. 483014
c NEW SOLUTION FOUND: -4120611 @ 1178.8 @ #Dec. 483097
c NEW SOLUTION FOUND: -4120651 @ 1179.4 @ #Dec. 483689
c NEW SOLUTION FOUND: -4120675 @ 1179.8 @ #Dec. 484185
c NEW SOLUTION FOUND: -4120825 @ 1187.1 @ #Dec. 487584
c NEW SOLUTION FOUND: -4120833 @ 1187.2 @ #Dec. 487628
c NEW SOLUTION FOUND: -4120849 @ 1187.2 @ #Dec. 487648
c NEW SOLUTION FOUND: -4120867 @ 1189.5 @ #Dec. 490753
c NEW SOLUTION FOUND: -4120945 @ 1189.6 @ #Dec. 490913
c NEW SOLUTION FOUND: -4120978 @ 1189.7 @ #Dec. 490999
c NEW SOLUTION FOUND: -4120987 @ 1189.8 @ #Dec. 491087
c NEW SOLUTION FOUND: -4121005 @ 1189.9 @ #Dec. 491275
s SATISFIABLE
v -X02_bit_10 -X02_bit_9 -X02_bit_8 X02_bit_7 -X02_bit_6 X02_bit_5 X02_bit_4 -X02_bit_3 -X02_bit_2 -X02_bit_1 -X02_bit0 -X02_bit1 X02_bit2 -X02_bit3 X02_bit4 X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 -X02_bit13 -X02_bit14 -X02_bit15 -X02_bit16 -X02_bit17 -X02_bit18 -X02_bit19 -X14_bit_10 -X14_bit_9 X14_bit_8 X14_bit_7 X14_bit_6 -X14_bit_5 X14_bit_4 X14_bit_3 -X14_bit_2 -X14_bit_1 X14_bit0 -X14_bit1 X14_bit2 -X14_bit3 -X14_bit4 X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 X23_bit_10 X23_bit_9 X23_bit_8 X23_bit_7 X23_bit_6 X23_bit_5 X23_bit_4 X23_bit_3 X23_bit_2 X23_bit_1 X23_bit0 X23_bit1 X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 X36_bit_10 -X36_bit_9 -X36_bit_8 -X36_bit_7 X36_bit_6 -X36_bit_5 -X36_bit_4 X36_bit_3 -X36_bit_2 -X36_bit_1 X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 X36_bit5 X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit13 -X36_bit14 -X36_bit15 -X36_bit16 -X36_bit17 -X36_bit18 -X36_bit19 -X39_bit_10 -X39_bit_9 -X39_bit_8 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit13 -X39_bit14 -X39_bit15 -X39_bit16 -X39_bit17 -X39_bit18 -X39_bit19 -X01_bit_10 -X01_bit_9 X01_bit_8 X01_bit_7 -X01_bit_6 X01_bit_5 X01_bit_4 X01_bit_3 X01_bit_2 X01_bit_1 X01_bit0 X01_bit1 X01_bit2 X01_bit3 -X01_bit4 -X01_bit5 X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 -X01_bit13 -X01_bit14 -X01_bit15 -X01_bit16 -X01_bit17 -X01_bit18 -X01_bit19 -X03_bit_10 -X03_bit_9 X03_bit_8 -X03_bit_7 -X03_bit_6 -X03_bit_5 -X03_bit_4 X03_bit_3 X03_bit_2 X03_bit_1 X03_bit0 X03_bit1 -X03_bit2 X03_bit3 X03_bit4 -X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X03_bit13 -X03_bit14 -X03_bit15 -X03_bit16 -X03_bit17 -X03_bit18 -X03_bit19 -X04_bit_10 X04_bit_9 X04_bit_8 X04_bit_7 X04_bit_6 -X04_bit_5 -X04_bit_4 -X04_bit_3 X04_bit_2 X04_bit_1 -X04_bit0 -X04_bit1 X04_bit2 -X04_bit3 X04_bit4 -X04_bit5 X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 -X04_bit13 -X04_bit14 -X04_bit15 -X04_bit16 -X04_bit17 -X04_bit18 -X04_bit19 -X06_bit_10 X06_bit_9 X06_bit_8 X06_bit_7 -X06_bit_6 X06_bit_5 -X06_bit_4 X06_bit_3 X06_bit_2 X06_bit_1 X06_bit0 X06_bit1 -X06_bit2 -X06_bit3 -X06_bit4 -X06_bit5 X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12 -X06_bit13 -X06_bit14 -X06_bit15 -X06_bit16 -X06_bit17 -X06_bit18 -X06_bit19 -X07_bit_10 -X07_bit_9 -X07_bit_8 -X07_bit_7 -X07_bit_6 -X07_bit_5 -X07_bit_4 -X07_bit_3 -X07_bit_2 -X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12 -X07_bit13 -X07_bit14 -X07_bit15 -X07_bit16 -X07_bit17 -X07_bit18 -X07_bit19 -X08_bit_10 -X08_bit_9 X08_bit_8 X08_bit_7 X08_bit_6 -X08_bit_5 -X08_bit_4 -X08_bit_3 -X08_bit_2 -X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 X08_bit3 -X08_bit4 -X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12 -X08_bit13 -X08_bit14 -X08_bit15 -X08_bit16 -X08_bit17 -X08_bit18 -X08_bit19 -X09_bit_10 X09_bit_9 -X09_bit_8 -X09_bit_7 -X09_bit_6 -X09_bit_5 -X09_bit_4 -X09_bit_3 -X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 -X09_bit5 -X09_bit6 -X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12 -X09_bit13 -X09_bit14 -X09_bit15 -X09_bit16 -X09_bit17 -X09_bit18 -X09_bit19 -X15_bit_10 -X15_bit_9 -X15_bit_8 -X15_bit_7 X15_bit_6 X15_bit_5 X15_bit_4 X15_bit_3 -X15_bit_2 X15_bit_1 -X15_bit0 X15_bit1 X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 -X16_bit_10 X16_bit_9 X16_bit_8 X16_bit_7 X16_bit_6 X16_bit_5 X16_bit_4 -X16_bit_3 -X16_bit_2 X16_bit_1 X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 X16_bit4 X16_bit5 X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X22_bit_10 -X22_bit_9 X22_bit_8 X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 X22_bit_2 X22_bit_1 X22_bit0 X22_bit1 X22_bit2 X22_bit3 X22_bit4 X22_bit5 X22_bit6 X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 -X24_bit_10 -X24_bit_9 X24_bit_8 X24_bit_7 -X24_bit_6 -X24_bit_5 X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 X24_bit3 X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 -X24_bit17 -X24_bit18 -X24_bit19 X25_bit_10 -X25_bit_9 -X25_bit_8 -X25_bit_7 -X25_bit_6 -X25_bit_5 X25_bit_4 X25_bit_3 -X25_bit_2 X25_bit_1 X25_bit0 X25_bit1 X25_bit2 X25_bit3 X25_bit4 -X25_bit5 X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X25_bit17 -X25_bit18 -X25_bit19 X26_bit_10 -X26_bit_9 -X26_bit_8 X26_bit_7 -X26_bit_6 X26_bit_5 X26_bit_4 X26_bit_3 X26_bit_2 X26_bit_1 X26_bit0 -X26_bit1 X26_bit2 X26_bit3 -X26_bit4 X26_bit5 X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit13 -X26_bit14 -X26_bit15 -X26_bit16 -X26_bit17 -X26_bit18 -X26_bit19 -X28_bit_10 -X28_bit_9 X28_bit_8 -X28_bit_7 X28_bit_6 X28_bit_5 X28_bit_4 -X28_bit_3 X28_bit_2 -X28_bit_1 X28_bit0 X28_bit1 X28_bit2 X28_bit3 -X28_bit4 X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X28_bit13 -X28_bit14 -X28_bit15 -X28_bit16 -X28_bit17 -X28_bit18 -X28_bit19 -X29_bit_10 -X29_bit_9 -X29_bit_8 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit13 -X29_bit14 -X29_bit15 -X29_bit16 -X29_bit17 -X29_bit18 -X29_bit19 -X30_bit_10 -X30_bit_9 -X30_bit_8 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit13 -X30_bit14 -X30_bit15 -X30_bit16 -X30_bit17 -X30_bit18 -X30_bit19 -X31_bit_10 -X31_bit_9 -X31_bit_8 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X31_bit17 -X31_bit18 -X31_bit19 X38_bit_10 X38_bit_9 X38_bit_8 -X38_bit_7 X38_bit_6 X38_bit_5 X38_bit_4 -X38_bit_3 X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 X38_bit2 -X38_bit3 X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit13 -X38_bit14 -X38_bit15 -X38_bit16 -X38_bit17 -X38_bit18 -X38_bit19 X37_bit_10 -X37_bit_9 X37_bit_8 X37_bit_7 X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 X37_bit_2 X37_bit_1 X37_bit0 -X37_bit1 X37_bit2 X37_bit3 X37_bit4 -X37_bit5 X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit13 -X37_bit14 -X37_bit15 -X37_bit16 -X37_bit17 -X37_bit18 -X37_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 -X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 -X12_bit_10 -X12_bit_9 X12_bit_8 X12_bit_7 X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 -X32_bit_10 -X32_bit_9 -X32_bit_8 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X32_bit17 -X32_bit18 -X32_bit19 -X33_bit_10 -X33_bit_9 -X33_bit_8 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X33_bit17 -X33_bit18 -X33_bit19 -X34_bit_10 -X34_bit_9 -X34_bit_8 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X34_bit17 -X34_bit18 -X34_bit19 -X35_bit_10 -X35_bit_9 -X35_bit_8 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X35_bit17 -X35_bit18 -X35_bit19 
c Cost: -4121005
c Exit Code: 10
c Total time: 1195 s

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/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782277441 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 107 3 90 68 0 39 0
[pid=11249] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-afiro.opb

[startup+10.0029 s]
Raw data (loadavg): 0.93 0.95 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 1290 0 0 0 922 24 0 0 24 0 1 0 1782277441 8323072 1201 4294967295 134512640 134736556 3221224560 3221223160 134544505 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 2032 1201 1116 68 0 1964 0
[pid=11249] vsize: 8128
Current children cumulated CPU time (s) 9.46
Current children cumulated vsize (Kb) 8128

[startup+20.0037 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 1597 0 0 0 1849 50 0 0 25 0 1 0 1782277441 9658368 1508 4294967295 134512640 134736556 3221224560 3221223096 1077377362 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 2358 1508 1116 68 0 2290 0
[pid=11249] vsize: 9432
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (Kb) 9432

[startup+30.0045 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 1785 0 0 0 2802 67 0 0 25 0 1 0 1782277441 10334208 1696 4294967295 134512640 134736556 3221224560 3221223276 134560236 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 2523 1696 1116 68 0 2455 0
[pid=11249] vsize: 10092
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (Kb) 10092

[startup+40.0053 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 1849 0 0 0 3757 83 0 0 20 0 1 0 1782277441 10600448 1760 4294967295 134512640 134736556 3221224560 3221223100 134553495 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 2588 1760 1116 68 0 2520 0
[pid=11249] vsize: 10352
Current children cumulated CPU time (s) 38.4
Current children cumulated vsize (Kb) 10352

[startup+50.0061 s]
Raw data (loadavg): 0.96 0.96 0.91 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 6327 0 0 0 4668 120 0 0 25 0 1 0 1782277441 28958720 6238 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 7070 6238 1116 68 0 7002 0
[pid=11249] vsize: 28280
Current children cumulated CPU time (s) 47.88
Current children cumulated vsize (Kb) 28280

[startup+60.0058 s]
Raw data (loadavg): 0.97 0.96 0.91 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 12814 0 0 0 5577 160 0 0 25 0 1 0 1782277441 55660544 12721 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 13589 12721 1116 68 0 13521 0
[pid=11249] vsize: 54356
Current children cumulated CPU time (s) 57.37
Current children cumulated vsize (Kb) 54356

[startup+70.0066 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 18983 0 0 0 6519 191 0 0 25 0 1 0 1782277441 80936960 18888 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 19760 18888 1116 68 0 19692 0
[pid=11249] vsize: 79040
Current children cumulated CPU time (s) 67.1
Current children cumulated vsize (Kb) 79040

[startup+80.0084 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 19285 0 0 0 7513 194 0 0 25 0 1 0 1782277441 82182144 19188 4294967295 134512640 134736556 3221224560 3221223256 134554000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 20064 19188 1116 68 0 19996 0
[pid=11249] vsize: 80256
Current children cumulated CPU time (s) 77.07
Current children cumulated vsize (Kb) 80256

[startup+90.0092 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 19776 0 0 0 8504 200 0 0 25 0 1 0 1782277441 84209664 19679 4294967295 134512640 134736556 3221224560 3221223208 134554078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 20559 19679 1116 68 0 20491 0
[pid=11249] vsize: 82236
Current children cumulated CPU time (s) 87.04
Current children cumulated vsize (Kb) 82236

[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 20790 0 0 0 9490 206 0 0 25 0 1 0 1782277441 88412160 20693 4294967295 134512640 134736556 3221224560 3221223024 134536165 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 21585 20693 1116 68 0 21517 0
[pid=11249] vsize: 86340
Current children cumulated CPU time (s) 96.96
Current children cumulated vsize (Kb) 86340

[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 21824 0 0 0 10446 225 0 0 25 0 1 0 1782277441 92647424 21724 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 22619 21724 1116 68 0 22551 0
[pid=11249] vsize: 90476
Current children cumulated CPU time (s) 106.71
Current children cumulated vsize (Kb) 90476

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 22179 0 0 0 11399 242 0 0 25 0 1 0 1782277441 94109696 22079 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 22976 22079 1116 68 0 22908 0
[pid=11249] vsize: 91904
Current children cumulated CPU time (s) 116.41
Current children cumulated vsize (Kb) 91904

[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 25401 0 0 0 12342 269 0 0 25 0 1 0 1782277441 107364352 25301 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 26212 25301 1116 68 0 26144 0
[pid=11249] vsize: 104848
Current children cumulated CPU time (s) 126.11
Current children cumulated vsize (Kb) 104848

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 26668 0 0 0 13313 282 0 0 25 0 1 0 1782277441 112488448 26568 4294967295 134512640 134736556 3221224560 3221223140 134716328 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 27463 26568 1116 68 0 27395 0
[pid=11249] vsize: 109852
Current children cumulated CPU time (s) 135.95
Current children cumulated vsize (Kb) 109852

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 26997 0 0 0 14262 300 0 0 22 0 1 0 1782277441 113827840 26893 4294967295 134512640 134736556 3221224560 3221223272 134694468 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 27790 26893 1116 68 0 27722 0
[pid=11249] vsize: 111160
Current children cumulated CPU time (s) 145.62
Current children cumulated vsize (Kb) 111160

[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 27033 0 0 0 15227 314 0 0 25 0 1 0 1782277441 113954816 26929 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 27821 26929 1116 68 0 27753 0
[pid=11249] vsize: 111284
Current children cumulated CPU time (s) 155.41
Current children cumulated vsize (Kb) 111284

[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 27272 0 0 0 16178 332 0 0 25 0 1 0 1782277441 114905088 27168 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 28053 27168 1116 68 0 27985 0
[pid=11249] vsize: 112212
Current children cumulated CPU time (s) 165.1
Current children cumulated vsize (Kb) 112212

[startup+180.014 s]
Raw data (loadavg): 1.07 0.99 0.92 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 28901 0 0 0 17123 355 0 0 25 0 1 0 1782277441 121643008 28797 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 29698 28797 1116 68 0 29630 0
[pid=11249] vsize: 118792
Current children cumulated CPU time (s) 174.78
Current children cumulated vsize (Kb) 118792

[startup+190.015 s]
Raw data (loadavg): 1.06 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 30884 0 0 0 18079 375 0 0 25 0 1 0 1782277441 129748992 30780 4294967295 134512640 134736556 3221224560 3221223152 134553321 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 31677 30780 1116 68 0 31609 0
[pid=11249] vsize: 126708
Current children cumulated CPU time (s) 184.54
Current children cumulated vsize (Kb) 126708

[startup+200.016 s]
Raw data (loadavg): 1.05 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 31564 0 0 0 19063 381 0 0 25 0 1 0 1782277441 132591616 31460 4294967295 134512640 134736556 3221224560 3221223236 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 32371 31460 1116 68 0 32303 0
[pid=11249] vsize: 129484
Current children cumulated CPU time (s) 194.44
Current children cumulated vsize (Kb) 129484

[startup+210.017 s]
Raw data (loadavg): 1.04 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 31774 0 0 0 20058 383 0 0 25 0 1 0 1782277441 133402624 31670 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 32569 31670 1116 68 0 32501 0
[pid=11249] vsize: 130276
Current children cumulated CPU time (s) 204.41
Current children cumulated vsize (Kb) 130276

[startup+220.016 s]
Raw data (loadavg): 1.04 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 32159 0 0 0 21052 387 0 0 25 0 1 0 1782277441 135024640 32055 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 32965 32055 1116 68 0 32897 0
[pid=11249] vsize: 131860
Current children cumulated CPU time (s) 214.39
Current children cumulated vsize (Kb) 131860

[startup+230.017 s]
Raw data (loadavg): 1.03 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 32546 0 0 0 22048 389 0 0 25 0 1 0 1782277441 136511488 32442 4294967295 134512640 134736556 3221224560 3221223232 134528802 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 33328 32442 1116 68 0 33260 0
[pid=11249] vsize: 133312
Current children cumulated CPU time (s) 224.37
Current children cumulated vsize (Kb) 133312

[startup+240.018 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 32922 0 0 0 23041 393 0 0 25 0 1 0 1782277441 138133504 32818 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 33724 32818 1116 68 0 33656 0
[pid=11249] vsize: 134896
Current children cumulated CPU time (s) 234.34
Current children cumulated vsize (Kb) 134896

[startup+250.019 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 33536 0 0 0 24030 398 0 0 25 0 1 0 1782277441 140701696 33432 4294967295 134512640 134736556 3221224560 3221223104 134553321 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 34351 33432 1116 68 0 34283 0
[pid=11249] vsize: 137404
Current children cumulated CPU time (s) 244.28
Current children cumulated vsize (Kb) 137404

[startup+260.02 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 34450 0 0 0 25016 404 0 0 25 0 1 0 1782277441 144343040 34346 4294967295 134512640 134736556 3221224560 3221223084 134536623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 35240 34346 1116 68 0 35172 0
[pid=11249] vsize: 140960
Current children cumulated CPU time (s) 254.2
Current children cumulated vsize (Kb) 140960

[startup+270.019 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 35519 0 0 0 26000 412 0 0 25 0 1 0 1782277441 148803584 35415 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11249/statm): 36329 35415 1116 68 0 36261 0
[pid=11249] vsize: 145316
Current children cumulated CPU time (s) 264.12
Current children cumulated vsize (Kb) 145316

[startup+280.02 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 36093 0 0 0 26988 416 0 0 25 0 1 0 1782277441 151093248 35989 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 36888 35989 1116 68 0 36820 0
[pid=11249] vsize: 147552
Current children cumulated CPU time (s) 274.04
Current children cumulated vsize (Kb) 147552

[startup+290.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 36522 0 0 0 27978 420 0 0 25 0 1 0 1782277441 152850432 36418 4294967295 134512640 134736556 3221224560 3221223048 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 37317 36418 1116 68 0 37249 0
[pid=11249] vsize: 149268
Current children cumulated CPU time (s) 283.98
Current children cumulated vsize (Kb) 149268

[startup+300.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 37510 0 0 0 28960 429 0 0 25 0 1 0 1782277441 156905472 37406 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 38307 37406 1116 68 0 38239 0
[pid=11249] vsize: 153228
Current children cumulated CPU time (s) 293.89
Current children cumulated vsize (Kb) 153228

[startup+310.022 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 38231 0 0 0 29950 434 0 0 25 0 1 0 1782277441 159866880 38127 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 39030 38127 1116 68 0 38962 0
[pid=11249] vsize: 156120
Current children cumulated CPU time (s) 303.84
Current children cumulated vsize (Kb) 156120

[startup+320.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 39364 0 0 0 30932 444 0 0 25 0 1 0 1782277441 164466688 39260 4294967295 134512640 134736556 3221224560 3221223188 134529471 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 40153 39260 1116 68 0 40085 0
[pid=11249] vsize: 160612
Current children cumulated CPU time (s) 313.76
Current children cumulated vsize (Kb) 160612

[startup+330.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 39997 0 0 0 31910 453 0 0 25 0 1 0 1782277441 167170048 39893 4294967295 134512640 134736556 3221224560 3221223120 134551150 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 40813 39893 1116 68 0 40745 0
[pid=11249] vsize: 163252
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (Kb) 163252

[startup+340.024 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 40672 0 0 0 32889 463 0 0 25 0 1 0 1782277441 169865216 40568 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 41471 40568 1116 68 0 41403 0
[pid=11249] vsize: 165884
Current children cumulated CPU time (s) 333.52
Current children cumulated vsize (Kb) 165884

[startup+350.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 41244 0 0 0 33872 471 0 0 25 0 1 0 1782277441 172294144 41140 4294967295 134512640 134736556 3221224560 3221223200 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 42064 41140 1116 68 0 41996 0
[pid=11249] vsize: 168256
Current children cumulated CPU time (s) 343.43
Current children cumulated vsize (Kb) 168256

[startup+360.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 42073 0 0 0 34858 478 0 0 25 0 1 0 1782277441 175656960 41969 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 42885 41969 1116 68 0 42817 0
[pid=11249] vsize: 171540
Current children cumulated CPU time (s) 353.36
Current children cumulated vsize (Kb) 171540

[startup+370.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 42330 0 0 0 35839 485 0 0 25 0 1 0 1782277441 176738304 42226 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 43149 42226 1116 68 0 43081 0
[pid=11249] vsize: 172596
Current children cumulated CPU time (s) 363.24
Current children cumulated vsize (Kb) 172596

[startup+380.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 42557 0 0 0 36821 492 0 0 25 0 1 0 1782277441 177684480 42453 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 43380 42453 1116 68 0 43312 0
[pid=11249] vsize: 173520
Current children cumulated CPU time (s) 373.13
Current children cumulated vsize (Kb) 173520

[startup+390.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 43110 0 0 0 37798 501 0 0 25 0 1 0 1782277441 179847168 43006 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 43908 43006 1116 68 0 43840 0
[pid=11249] vsize: 175632
Current children cumulated CPU time (s) 382.99
Current children cumulated vsize (Kb) 175632

[startup+400.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 43641 0 0 0 38783 508 0 0 25 0 1 0 1782277441 182013952 43537 4294967295 134512640 134736556 3221224560 3221223140 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 44437 43537 1116 68 0 44369 0
[pid=11249] vsize: 177748
Current children cumulated CPU time (s) 392.91
Current children cumulated vsize (Kb) 177748

[startup+410.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 43984 0 0 0 39767 513 0 0 25 0 1 0 1782277441 183500800 43880 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 44800 43880 1116 68 0 44732 0
[pid=11249] vsize: 179200
Current children cumulated CPU time (s) 402.8
Current children cumulated vsize (Kb) 179200

[startup+420.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 44281 0 0 0 40758 517 0 0 25 0 1 0 1782277441 184717312 44177 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 45097 44177 1116 68 0 45029 0
[pid=11249] vsize: 180388
Current children cumulated CPU time (s) 412.75
Current children cumulated vsize (Kb) 180388

[startup+430.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 45121 0 0 0 41743 523 0 0 25 0 1 0 1782277441 188231680 45017 4294967295 134512640 134736556 3221224560 3221223284 134529202 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 45955 45017 1116 68 0 45887 0
[pid=11249] vsize: 183820
Current children cumulated CPU time (s) 422.66
Current children cumulated vsize (Kb) 183820

[startup+440.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 45741 0 0 0 42728 529 0 0 25 0 1 0 1782277441 190660608 45637 4294967295 134512640 134736556 3221224560 3221223236 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 46548 45637 1116 68 0 46480 0
[pid=11249] vsize: 186192
Current children cumulated CPU time (s) 432.57
Current children cumulated vsize (Kb) 186192

[startup+450.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 46572 0 0 0 43711 538 0 0 25 0 1 0 1782277441 194170880 46468 4294967295 134512640 134736556 3221224560 3221223248 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 47405 46468 1116 68 0 47337 0
[pid=11249] vsize: 189620
Current children cumulated CPU time (s) 442.49
Current children cumulated vsize (Kb) 189620

[startup+460.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 47389 0 0 0 44696 545 0 0 25 0 1 0 1782277441 197414912 47285 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 48197 47285 1116 68 0 48129 0
[pid=11249] vsize: 192788
Current children cumulated CPU time (s) 452.41
Current children cumulated vsize (Kb) 192788

[startup+470.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 48149 0 0 0 45680 552 0 0 25 0 1 0 1782277441 200654848 48045 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 48988 48045 1116 68 0 48920 0
[pid=11249] vsize: 195952
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (Kb) 195952

[startup+480.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 48780 0 0 0 46663 559 0 0 25 0 1 0 1782277441 203223040 48676 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 49615 48676 1116 68 0 49547 0
[pid=11249] vsize: 198460
Current children cumulated CPU time (s) 472.22
Current children cumulated vsize (Kb) 198460

[startup+490.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 49392 0 0 0 47651 564 0 0 25 0 1 0 1782277441 205656064 49288 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 50209 49288 1116 68 0 50141 0
[pid=11249] vsize: 200836
Current children cumulated CPU time (s) 482.15
Current children cumulated vsize (Kb) 200836

[startup+500.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 49716 0 0 0 48640 569 0 0 25 0 1 0 1782277441 206999552 49612 4294967295 134512640 134736556 3221224560 3221223060 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 50537 49612 1116 68 0 50469 0
[pid=11249] vsize: 202148
Current children cumulated CPU time (s) 492.09
Current children cumulated vsize (Kb) 202148

[startup+510.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 50253 0 0 0 49628 575 0 0 25 0 1 0 1782277441 209162240 50149 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 51065 50149 1116 68 0 50997 0
[pid=11249] vsize: 204260
Current children cumulated CPU time (s) 502.03
Current children cumulated vsize (Kb) 204260

[startup+520.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 50448 0 0 0 50619 578 0 0 25 0 1 0 1782277441 210079744 50344 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 51289 50344 1116 68 0 51221 0
[pid=11249] vsize: 205156
Current children cumulated CPU time (s) 511.97
Current children cumulated vsize (Kb) 205156

[startup+530.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 50660 0 0 0 51613 580 0 0 25 0 1 0 1782277441 210890752 50556 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 51487 50556 1116 68 0 51419 0
[pid=11249] vsize: 205948
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (Kb) 205948

[startup+540.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 51036 0 0 0 52597 587 0 0 25 0 1 0 1782277441 212377600 50932 4294967295 134512640 134736556 3221224560 3221223276 134560240 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 51850 50932 1116 68 0 51782 0
[pid=11249] vsize: 207400
Current children cumulated CPU time (s) 531.84
Current children cumulated vsize (Kb) 207400

[startup+550.035 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 51685 0 0 0 53569 598 0 0 25 0 1 0 1782277441 215056384 51581 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 52504 51581 1116 68 0 52436 0
[pid=11249] vsize: 210016
Current children cumulated CPU time (s) 541.67
Current children cumulated vsize (Kb) 210016

[startup+560.035 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52053 0 0 0 54556 603 0 0 25 0 1 0 1782277441 216543232 51949 4294967295 134512640 134736556 3221224560 3221223452 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 52867 51949 1116 68 0 52799 0
[pid=11249] vsize: 211468
Current children cumulated CPU time (s) 551.59
Current children cumulated vsize (Kb) 211468

[startup+570.035 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52351 0 0 0 55546 607 0 0 25 0 1 0 1782277441 217894912 52247 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 53197 52247 1116 68 0 53129 0
[pid=11249] vsize: 212788
Current children cumulated CPU time (s) 561.53
Current children cumulated vsize (Kb) 212788

[startup+580.036 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52382 0 0 0 56544 607 0 0 25 0 1 0 1782277441 217894912 52278 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 53197 52278 1116 68 0 53129 0
[pid=11249] vsize: 212788
Current children cumulated CPU time (s) 571.51
Current children cumulated vsize (Kb) 212788

[startup+590.037 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52541 0 0 0 57537 610 0 0 25 0 1 0 1782277441 218578944 52437 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 53364 52437 1116 68 0 53296 0
[pid=11249] vsize: 213456
Current children cumulated CPU time (s) 581.47
Current children cumulated vsize (Kb) 213456

[startup+600.038 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52613 0 0 0 58531 612 0 0 25 0 1 0 1782277441 218857472 52509 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 53432 52509 1116 68 0 53364 0
[pid=11249] vsize: 213728
Current children cumulated CPU time (s) 591.43
Current children cumulated vsize (Kb) 213728

[startup+610.037 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 52918 0 0 0 59500 624 0 0 25 0 1 0 1782277441 220205056 52814 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 53761 52814 1116 68 0 53693 0
[pid=11249] vsize: 215044
Current children cumulated CPU time (s) 601.24
Current children cumulated vsize (Kb) 215044

[startup+620.038 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53185 0 0 0 60477 630 0 0 25 0 1 0 1782277441 221286400 53081 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 54025 53081 1116 68 0 53957 0
[pid=11249] vsize: 216100
Current children cumulated CPU time (s) 611.07
Current children cumulated vsize (Kb) 216100

[startup+630.039 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53391 0 0 0 61459 637 0 0 25 0 1 0 1782277441 222052352 53287 4294967295 134512640 134736556 3221224560 3221223184 134537458 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 54212 53287 1116 68 0 54144 0
[pid=11249] vsize: 216848
Current children cumulated CPU time (s) 620.96
Current children cumulated vsize (Kb) 216848

[startup+640.039 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53477 0 0 0 62445 644 0 0 25 0 1 0 1782277441 222453760 53373 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 54310 53373 1116 68 0 54242 0
[pid=11249] vsize: 217240
Current children cumulated CPU time (s) 630.89
Current children cumulated vsize (Kb) 217240

[startup+650.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53660 0 0 0 63424 651 0 0 25 0 1 0 1782277441 223129600 53556 4294967295 134512640 134736556 3221224560 3221223268 134609065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 54475 53556 1116 68 0 54407 0
[pid=11249] vsize: 217900
Current children cumulated CPU time (s) 640.75
Current children cumulated vsize (Kb) 217900

[startup+660.039 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 53802 0 0 0 64399 660 0 0 23 0 1 0 1782277441 223805440 53698 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 54640 53698 1116 68 0 54572 0
[pid=11249] vsize: 218560
Current children cumulated CPU time (s) 650.59
Current children cumulated vsize (Kb) 218560

[startup+670.039 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53967 0 0 0 65337 682 0 0 25 0 1 0 1782277441 224460800 53863 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 54800 53863 1116 68 0 54732 0
[pid=11249] vsize: 219200
Current children cumulated CPU time (s) 660.19
Current children cumulated vsize (Kb) 219200

[startup+680.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54109 0 0 0 66314 690 0 0 25 0 1 0 1782277441 224968704 54005 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 54924 54005 1116 68 0 54856 0
[pid=11249] vsize: 219696
Current children cumulated CPU time (s) 670.04
Current children cumulated vsize (Kb) 219696

[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 54187 0 0 0 67299 695 0 0 25 0 1 0 1782277441 225337344 54083 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 55014 54083 1116 68 0 54946 0
[pid=11249] vsize: 220056
Current children cumulated CPU time (s) 679.94
Current children cumulated vsize (Kb) 220056

[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54205 0 0 0 68290 698 0 0 25 0 1 0 1782277441 225427456 54101 4294967295 134512640 134736556 3221224560 3221223084 134536326 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 55036 54101 1116 68 0 54968 0
[pid=11249] vsize: 220144
Current children cumulated CPU time (s) 689.88
Current children cumulated vsize (Kb) 220144

[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54300 0 0 0 69247 713 0 0 25 0 1 0 1782277441 225792000 54196 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 55125 54196 1116 68 0 55057 0
[pid=11249] vsize: 220500
Current children cumulated CPU time (s) 699.6
Current children cumulated vsize (Kb) 220500

[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54489 0 0 0 70204 727 0 0 25 0 1 0 1782277441 226582528 54385 4294967295 134512640 134736556 3221224560 3221223140 134716325 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 55318 54385 1116 68 0 55250 0
[pid=11249] vsize: 221272
Current children cumulated CPU time (s) 709.31
Current children cumulated vsize (Kb) 221272

[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 54675 0 0 0 71176 738 0 0 25 0 1 0 1782277441 227373056 54571 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 55511 54571 1116 68 0 55443 0
[pid=11249] vsize: 222044
Current children cumulated CPU time (s) 719.14
Current children cumulated vsize (Kb) 222044

[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54855 0 0 0 72145 750 0 0 25 0 1 0 1782277441 228032512 54751 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 55672 54751 1116 68 0 55604 0
[pid=11249] vsize: 222688
Current children cumulated CPU time (s) 728.95
Current children cumulated vsize (Kb) 222688

[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 54966 0 0 0 73116 759 0 0 25 0 1 0 1782277441 228569088 54862 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 55803 54862 1116 68 0 55735 0
[pid=11249] vsize: 223212
Current children cumulated CPU time (s) 738.75
Current children cumulated vsize (Kb) 223212

[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 55373 0 0 0 74085 770 0 0 25 0 1 0 1782277441 230199296 55269 4294967295 134512640 134736556 3221224560 3221223296 134529328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 56201 55269 1116 68 0 56133 0
[pid=11249] vsize: 224804
Current children cumulated CPU time (s) 748.55
Current children cumulated vsize (Kb) 224804

[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 55574 0 0 0 75073 775 0 0 25 0 1 0 1782277441 231141376 55469 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 56431 55469 1116 68 0 56363 0
[pid=11249] vsize: 225724
Current children cumulated CPU time (s) 758.48
Current children cumulated vsize (Kb) 225724

[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 56134 0 0 0 76059 780 0 0 24 0 1 0 1782277441 233439232 56029 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 56992 56029 1116 68 0 56924 0
[pid=11249] vsize: 227968
Current children cumulated CPU time (s) 768.39
Current children cumulated vsize (Kb) 227968

[startup+790.044 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 56374 0 0 0 77040 787 0 0 25 0 1 0 1782277441 234385408 56269 4294967295 134512640 134736556 3221224560 3221223200 134536560 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 57223 56269 1116 68 0 57155 0
[pid=11249] vsize: 228892
Current children cumulated CPU time (s) 778.27
Current children cumulated vsize (Kb) 228892

[startup+800.044 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 56545 0 0 0 78024 793 0 0 25 0 1 0 1782277441 235061248 56440 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 57388 56440 1116 68 0 57320 0
[pid=11249] vsize: 229552
Current children cumulated CPU time (s) 788.17
Current children cumulated vsize (Kb) 229552

[startup+810.045 s]
Raw data (loadavg): 1.05 1.01 0.93 1/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 56633 0 0 0 79004 800 0 0 25 0 1 0 1782277441 235466752 56528 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11249/statm): 57487 56528 1116 68 0 57419 0
[pid=11249] vsize: 229948
Current children cumulated CPU time (s) 798.04
Current children cumulated vsize (Kb) 229948

[startup+820.045 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 56891 0 0 0 79964 814 0 0 25 0 1 0 1782277441 236531712 56786 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 57747 56786 1116 68 0 57679 0
[pid=11249] vsize: 230988
Current children cumulated CPU time (s) 807.78
Current children cumulated vsize (Kb) 230988

[startup+830.047 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57024 0 0 0 80957 818 0 0 25 0 1 0 1782277441 237072384 56919 4294967295 134512640 134736556 3221224560 3221223184 134524549 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 57879 56919 1116 68 0 57811 0
[pid=11249] vsize: 231516
Current children cumulated CPU time (s) 817.75
Current children cumulated vsize (Kb) 231516

[startup+840.048 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57130 0 0 0 81935 825 0 0 25 0 1 0 1782277441 237469696 57025 4294967295 134512640 134736556 3221224560 3221223164 134537504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 57976 57025 1116 68 0 57908 0
[pid=11249] vsize: 231904
Current children cumulated CPU time (s) 827.6
Current children cumulated vsize (Kb) 231904

[startup+850.047 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57879 0 0 0 82916 833 0 0 25 0 1 0 1782277441 240459776 57774 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 58706 57774 1116 68 0 58638 0
[pid=11249] vsize: 234824
Current children cumulated CPU time (s) 837.49
Current children cumulated vsize (Kb) 234824

[startup+860.048 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57948 0 0 0 83906 837 0 0 25 0 1 0 1782277441 240865280 57843 4294967295 134512640 134736556 3221224560 3221223236 134529176 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 58805 57843 1116 68 0 58737 0
[pid=11249] vsize: 235220
Current children cumulated CPU time (s) 847.43
Current children cumulated vsize (Kb) 235220

[startup+870.049 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57983 0 0 0 84897 841 0 0 25 0 1 0 1782277441 241000448 57878 4294967295 134512640 134736556 3221224560 3221223280 134529182 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 58838 57878 1116 68 0 58770 0
[pid=11249] vsize: 235352
Current children cumulated CPU time (s) 857.38
Current children cumulated vsize (Kb) 235352

[startup+880.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58384 0 0 0 85884 846 0 0 25 0 1 0 1782277441 242622464 58279 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59234 58279 1116 68 0 59166 0
[pid=11249] vsize: 236936
Current children cumulated CPU time (s) 867.3
Current children cumulated vsize (Kb) 236936

[startup+890.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58422 0 0 0 86874 849 0 0 25 0 1 0 1782277441 242757632 58317 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59267 58317 1116 68 0 59199 0
[pid=11249] vsize: 237068
Current children cumulated CPU time (s) 877.23
Current children cumulated vsize (Kb) 237068

[startup+900.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58868 0 0 0 87861 855 0 0 25 0 1 0 1782277441 244514816 58763 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59696 58763 1116 68 0 59628 0
[pid=11249] vsize: 238784
Current children cumulated CPU time (s) 887.16
Current children cumulated vsize (Kb) 238784

[startup+910.051 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58907 0 0 0 88855 858 0 0 25 0 1 0 1782277441 244785152 58802 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59762 58802 1116 68 0 59694 0
[pid=11249] vsize: 239048
Current children cumulated CPU time (s) 897.13
Current children cumulated vsize (Kb) 239048

[startup+920.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58940 0 0 0 89850 859 0 0 25 0 1 0 1782277441 244916224 58835 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59794 58835 1116 68 0 59726 0
[pid=11249] vsize: 239176
Current children cumulated CPU time (s) 907.09
Current children cumulated vsize (Kb) 239176

[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59060 0 0 0 90840 864 0 0 25 0 1 0 1782277441 245321728 58955 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59893 58955 1116 68 0 59825 0
[pid=11249] vsize: 239572
Current children cumulated CPU time (s) 917.04
Current children cumulated vsize (Kb) 239572

[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59061 0 0 0 91836 866 0 0 25 0 1 0 1782277441 245321728 58956 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59893 58956 1116 68 0 59825 0
[pid=11249] vsize: 239572
Current children cumulated CPU time (s) 927.02
Current children cumulated vsize (Kb) 239572

[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59082 0 0 0 92833 867 0 0 25 0 1 0 1782277441 245456896 58977 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59926 58977 1116 68 0 59858 0
[pid=11249] vsize: 239704
Current children cumulated CPU time (s) 937
Current children cumulated vsize (Kb) 239704

[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59112 0 0 0 93828 869 0 0 25 0 1 0 1782277441 245583872 59007 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59957 59007 1116 68 0 59889 0
[pid=11249] vsize: 239828
Current children cumulated CPU time (s) 946.97
Current children cumulated vsize (Kb) 239828

[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59151 0 0 0 94821 872 0 0 25 0 1 0 1782277441 245719040 59046 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 59990 59046 1116 68 0 59922 0
[pid=11249] vsize: 239960
Current children cumulated CPU time (s) 956.93
Current children cumulated vsize (Kb) 239960

[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59190 0 0 0 95814 876 0 0 25 0 1 0 1782277441 245854208 59085 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 60023 59085 1116 68 0 59955 0
[pid=11249] vsize: 240092
Current children cumulated CPU time (s) 966.9
Current children cumulated vsize (Kb) 240092

[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59961 0 0 0 96788 886 0 0 25 0 1 0 1782277441 249098240 59856 4294967295 134512640 134736556 3221224560 3221223232 134528714 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 60815 59856 1116 68 0 60747 0
[pid=11249] vsize: 243260
Current children cumulated CPU time (s) 976.74
Current children cumulated vsize (Kb) 243260

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60049 0 0 0 97766 895 0 0 25 0 1 0 1782277441 249372672 59943 4294967295 134512640 134736556 3221224560 3221223200 134553321 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 60882 59943 1116 68 0 60814 0
[pid=11249] vsize: 243528
Current children cumulated CPU time (s) 986.61
Current children cumulated vsize (Kb) 243528

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60100 0 0 0 98751 900 0 0 25 0 1 0 1782277441 249638912 59994 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 60947 59994 1116 68 0 60879 0
[pid=11249] vsize: 243788
Current children cumulated CPU time (s) 996.51
Current children cumulated vsize (Kb) 243788

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60113 0 0 0 99744 902 0 0 25 0 1 0 1782277441 249638912 60007 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 60947 60007 1116 68 0 60879 0
[pid=11249] vsize: 243788
Current children cumulated CPU time (s) 1006.46
Current children cumulated vsize (Kb) 243788

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60137 0 0 0 100728 907 0 0 25 0 1 0 1782277441 249774080 60031 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 60980 60031 1116 68 0 60912 0
[pid=11249] vsize: 243920
Current children cumulated CPU time (s) 1016.35
Current children cumulated vsize (Kb) 243920

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60230 0 0 0 101723 908 0 0 25 0 1 0 1782277441 250175488 60124 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 61078 60124 1116 68 0 61010 0
[pid=11249] vsize: 244312
Current children cumulated CPU time (s) 1026.31
Current children cumulated vsize (Kb) 244312

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60302 0 0 0 102719 910 0 0 25 0 1 0 1782277441 250429440 60196 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 61140 60196 1116 68 0 61072 0
[pid=11249] vsize: 244560
Current children cumulated CPU time (s) 1036.29
Current children cumulated vsize (Kb) 244560

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60570 0 0 0 103704 915 0 0 25 0 1 0 1782277441 251625472 60464 4294967295 134512640 134736556 3221224560 3221223096 1077377229 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 61432 60464 1116 68 0 61364 0
[pid=11249] vsize: 245728
Current children cumulated CPU time (s) 1046.19
Current children cumulated vsize (Kb) 245728

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60868 0 0 0 104692 920 0 0 25 0 1 0 1782277441 252850176 60762 4294967295 134512640 134736556 3221224560 3221223212 134554110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 61731 60762 1116 68 0 61663 0
[pid=11249] vsize: 246924
Current children cumulated CPU time (s) 1056.12
Current children cumulated vsize (Kb) 246924

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61218 0 0 0 105671 929 0 0 25 0 1 0 1782277441 254181376 61112 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 62056 61112 1116 68 0 61988 0
[pid=11249] vsize: 248224
Current children cumulated CPU time (s) 1066
Current children cumulated vsize (Kb) 248224

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61543 0 0 0 106651 937 0 0 25 0 1 0 1782277441 255533056 61437 4294967295 134512640 134736556 3221224560 3221223248 134536448 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 62386 61437 1116 68 0 62318 0
[pid=11249] vsize: 249544
Current children cumulated CPU time (s) 1075.88
Current children cumulated vsize (Kb) 249544

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61575 0 0 0 107646 939 0 0 25 0 1 0 1782277441 255664128 61469 4294967295 134512640 134736556 3221224560 3221223216 134528671 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 62418 61469 1116 68 0 62350 0
[pid=11249] vsize: 249672
Current children cumulated CPU time (s) 1085.85
Current children cumulated vsize (Kb) 249672

[startup+1110.06 s]
Raw data (loadavg): 1.08 1.02 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61740 0 0 0 108639 942 0 0 25 0 1 0 1782277441 256339968 61634 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 62583 61634 1116 68 0 62515 0
[pid=11249] vsize: 250332
Current children cumulated CPU time (s) 1095.81
Current children cumulated vsize (Kb) 250332

[startup+1120.06 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61909 0 0 0 109635 943 0 0 25 0 1 0 1782277441 257015808 61803 4294967295 134512640 134736556 3221224560 3221223276 134524324 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 62748 61803 1116 68 0 62680 0
[pid=11249] vsize: 250992
Current children cumulated CPU time (s) 1105.78
Current children cumulated vsize (Kb) 250992

[startup+1130.06 s]
Raw data (loadavg): 1.06 1.01 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 62343 0 0 0 110615 951 0 0 25 0 1 0 1782277441 258899968 62237 4294967295 134512640 134736556 3221224560 3221223200 134553321 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 63208 62237 1116 68 0 63140 0
[pid=11249] vsize: 252832
Current children cumulated CPU time (s) 1115.66
Current children cumulated vsize (Kb) 252832

[startup+1140.06 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 62902 0 0 0 111586 963 0 0 25 0 1 0 1782277441 261193728 62796 4294967295 134512640 134736556 3221224560 3221223248 134529363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 63768 62796 1116 68 0 63700 0
[pid=11249] vsize: 255072
Current children cumulated CPU time (s) 1125.49
Current children cumulated vsize (Kb) 255072

[startup+1150.07 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 63248 0 0 0 112563 971 0 0 25 0 1 0 1782277441 262545408 63139 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 64098 63139 1116 68 0 64030 0
[pid=11249] vsize: 256392
Current children cumulated CPU time (s) 1135.34
Current children cumulated vsize (Kb) 256392

[startup+1160.07 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 63494 0 0 0 113547 978 0 0 25 0 1 0 1782277441 263614464 63385 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 64359 63385 1116 68 0 64291 0
[pid=11249] vsize: 257436
Current children cumulated CPU time (s) 1145.25
Current children cumulated vsize (Kb) 257436

[startup+1170.07 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 63741 0 0 0 114523 989 0 0 25 0 1 0 1782277441 264548352 63632 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 64587 63632 1116 68 0 64519 0
[pid=11249] vsize: 258348
Current children cumulated CPU time (s) 1155.12
Current children cumulated vsize (Kb) 258348

[startup+1180.07 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 64242 0 0 0 115490 1002 0 0 25 0 1 0 1782277441 266694656 64133 4294967295 134512640 134736556 3221224560 3221223124 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 65111 64133 1116 68 0 65043 0
[pid=11249] vsize: 260444
Current children cumulated CPU time (s) 1164.92
Current children cumulated vsize (Kb) 260444

[startup+1190.07 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 64796 0 0 0 116455 1017 0 0 25 0 1 0 1782277441 268980224 64686 4294967295 134512640 134736556 3221224560 3221223232 134536510 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 65669 64686 1116 68 0 65601 0
[pid=11249] vsize: 262676
Current children cumulated CPU time (s) 1174.72
Current children cumulated vsize (Kb) 262676

[startup+1200.07 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 65590 0 0 0 117421 1029 0 0 25 0 1 0 1782277441 272216064 65480 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11249/statm): 66459 65480 1116 68 0 66391 0
[pid=11249] vsize: 265836
Current children cumulated CPU time (s) 1184.5
Current children cumulated vsize (Kb) 265836

[startup+1210.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 11249
Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 66256 0 0 0 118385 1043 0 0 25 0 1 0 1782277441 274915328 66146 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11249/statm): 67118 66146 1116 68 0 67050 0
[pid=11249] vsize: 268472
Current children cumulated CPU time (s) 1194.28
Current children cumulated vsize (Kb) 268472
One traced child (pid=11249) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.93
CPU time (s): 1195.14
CPU user time (s): 1184.58
CPU system time (s): 10.5594
CPU usage (%): 98.6962
Max. virtual memory (cumulated for all children) (Kb): 268472

Verifier Data

Verifier:	OK	-4121005