btm2x5-was nun?time mysql_c_program q=2 k=7 groupid=125421 netcb=100 t=1000 nc=1 nurgls computenetcode
netcode incidence matrix has 43 rows and 189 columns
wir rechnen packing fuer lambda=1
aufruf = solvediophant  -bkz -c100000 -beta80 -p18  -time1000 -o/tmp/fileYecdlp /tmp/fileMRM453
You did not supply the options -maxnorm*. It is set to 1.
Nr. bounded variables=233
cols=233
The RHS is fixed !
upper bounds found. Max=281

Orthogonal defect: 202.956455
First reduction successful
Orthogonal defect: 201.859438
Second reduction successful

bkz: Orthogonal defect: 188.919562
Third reduction successful

Dimension of solution space (k): 190 compared to s-z+2: 190
Number of nonzero entries in the last row: 1
Fq: 281.000000
Fd: 18495350.874000
631688.000 632012.000 631688.000 631688.000 631688.000 1265139.096 1579220.000 1437090.200 1895064.000 2316189.333 2009916.364 2256028.571 2198274.240 1944437.315 2418836.668 2241223.418
2161205.349 1991174.823 1826174.864 1742428.956 1804013.070 1737528.616 1630788.094 1375545.613 1372909.764 1294585.331 1290810.074 1305907.890 1237220.657 1304917.337 1169796.033
1266088.074 1289534.052 1102829.975 1296550.117 1018899.188 936576.131 1096006.129 1037989.050 1198940.182 984579.595 1195701.508 1009617.352 935646.703 1006510.227 963695.645
973763.153 891677.092 922519.446 843843.233 771807.904 755630.254 802083.681 753063.115 772041.518 712848.951 766257.062 712209.630 719034.320 645657.208 661749.258
657191.450 655313.841 632724.790 646200.205 623769.213 624048.230 618416.997 585580.713 558639.495 611885.661 552028.921 569394.061 568183.425 606290.530 566971.186
643982.788 617798.114 618233.979 631864.917 637977.528 605925.849 583926.204 584134.744 598188.812 589744.139 621737.354 618057.356 647132.736 609842.647 497032.332
492162.427 487020.020 481943.148 451509.618 462885.707 715807.394 551164.319 487943.445 483646.778 511827.151 512981.711 499682.018 543410.217 489085.233 464987.927
459520.308 490229.312 490921.830 480146.160 719206.067 539740.519 534693.283 506030.467 488152.940 489352.739 477963.327 753362.815 564942.574 756934.888 567573.351
756915.679 567557.625 752467.823 570556.903 770467.939 577850.955 513645.293 483767.377 463698.160 450420.926 444869.315 436678.682 430445.229 425542.313 421585.009
418323.811 415589.895 429605.720 422681.424 489907.339 493345.680 491485.909 487465.344 484205.111 485056.831 480534.758 559560.163 936245.972 772921.849 925208.853
750706.138 785097.943 663380.270 601979.164 1231102.664 960807.600 834988.839 654248.286 654248.286 654248.286 654248.286 654248.286 632303.912 631542.324 490686.214
599727.595 551717.392 434474.997 388730.487 408905.179 469070.982 377394.007 347180.915 346022.227 344990.104 394887.098 341157.837 340580.554 340048.888 339557.638
339102.364 338679.254 338285.014 337916.789 408605.102 1327944.218 1942147.753 1495943.406 13910950.166


-2 1
-4 5
-2 1
-2 1
-2 2
-1 2
-19 21
-15 14
-107 106
-79 79
-46 46
-87 87
-107 107
-112 112
-78 78
-44 44
-110 110
-136 135
-128 128
-115 115
-107 106
-80 80
-74 74
-52 52
-44 44
-78 78
-48 48
-37 37
-59 58
-57 57
-37 37
-46 46
-52 52
-61 61
-67 67
-23 23
-56 57
-37 37
-41 41
-48 49
-19 19
-59 59
-28 27
-12 12
-35 35
-40 40
-45 46
-56 57
-36 36
-28 28
-10 10
-17 17
-3 3
-3 3
-12 12
-3 3
-9 9
-4 4
-43 43
-28 28
-3 3
-3 3
-18 17
-14 14
-9 9
-10 10
-2 2
-3 3
-2 2
-2 2
-2 2
-3 3
-3 3
-2 2
-22 22
-2 2
-7 7
-3 3
-3 3
-32 32
-3 3
-3 3
-3 3
-29 30
-34 34
-3 2
-29 29
-2 3
-3 2
-20 21
-2 2
-2 2
-3 2
-2 2
-18 18
-2 3
-11 12
-2 2
-2 2
-2 2
-3 3
-3 3
-3 3
-2 2
-2 2
-2 2
-2 2
-3 3
-3 3
-3 3
-4 4
-2 2
-3 3
-3 3
-3 3
-3 3
-3 3
-14 15
-17 17
-20 20
-10 10
-10 10
-2 2
-17 17
-10 10
-27 28
-2 3
-2 3
-3 2
-2 3
-3 2
-3 2
-3 2
-3 2
-3 2
-3 2
-3 2
-3 2
-2 2
-2 2
-2 2
-2 2
-2 2
-2 2
-2 2
-2 2
-2 2
-3 3
-16 17
-11 11
-10 10
-10 11
-10 9
-8 8
-7 7
-5 4
-7 7
-9 9
-6 5
-6 7
-6 5
-7 7
-5 5
-5 6
-6 7
-1 2
-5 4
-5 6
-6 6
-2 1
-2 1
-5 6
-5 5
-2 1
-1 2
-2 1
-5 5
-1 2
-2 1
-1 2
-1 2
-1 2
-2 1
-2 1
-1 2
-4 3
-1 2
-1 1
-1 1
0 2


1000000 loops, solutions: 0, fipo: 0
2000000 loops, solutions: 0, fipo: 0
3000000 loops, solutions: 0, fipo: 0
4000000 loops, solutions: 0, fipo: 0
5000000 loops, solutions: 0, fipo: 0
6000000 loops, solutions: 0, fipo: 0
7000000 loops, solutions: 0, fipo: 0
8000000 loops, solutions: 0, fipo: 0
9000000 loops, solutions: 0, fipo: 0
10000000 loops, solutions: 0, fipo: 0
11000000 loops, solutions: 0, fipo: 0
12000000 loops, solutions: 0, fipo: 0
13000000 loops, solutions: 0, fipo: 0
14000000 loops, solutions: 0, fipo: 0
15000000 loops, solutions: 0, fipo: 0
16000000 loops, solutions: 0, fipo: 0
17000000 loops, solutions: 0, fipo: 0
18000000 loops, solutions: 0, fipo: 0
19000000 loops, solutions: 0, fipo: 0
20000000 loops, solutions: 0, fipo: 0
21000000 loops, solutions: 0, fipo: 0
22000000 loops, solutions: 0, fipo: 0
23000000 loops, solutions: 0, fipo: 0
24000000 loops, solutions: 0, fipo: 0
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 110
Prune_cs: 6197085
Prune_only_zeros: 5845212 of 18378356
Prune_hoelder: 5916147 of 12533144
Prune_N: 24367
Fincke-Pohst: 0
Loops: 24575442
Stopped after number of solutions: 1

total enumeration time: 0:00:22
returnvalue 256
found in 0/1 check: h1=-16
[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0]

real    0m36.057s
user    0m24.014s
sys     0m0.108s