[04:19:13 | 0.0 min] start; numpy 2.5.4, python 3.14.10; 13 jobs [04:19:13 | 0.0 min] === T_6 c_6 : c_1..c_6 === [04:19:13 | 0.0 min] T_6 c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:19:13 | 0.0 min] T_6 c_6 c_2 = 2 (next 0.2500, 2 from seeds, 0 s) [04:19:13 | 0.0 min] T_6 c_6 c_3 = 5 (next 0.4284, 5 from seeds, 0 s) [04:19:14 | 0.0 min] T_6 c_6 c_4 = 14 (next 0.6189, 14 from seeds, 1 s) [04:19:14 | 0.0 min] seeds verified so far: 20 (candidates looked at: 30) [04:19:14 | 0.0 min] seeds verified so far: 40 (candidates looked at: 289) [04:19:15 | 0.0 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:19:15 | 0.0 min] filter step 5/50 [04:19:15 | 0.0 min] filter step 10/50 [04:19:15 | 0.0 min] filter step 15/50 [04:19:15 | 0.0 min] filter step 20/50 [04:19:16 | 0.0 min] filter step 25/50 [04:19:16 | 0.0 min] filter step 30/50 [04:19:16 | 0.1 min] filter step 35/50 [04:19:16 | 0.1 min] filter step 40/50 [04:19:16 | 0.1 min] filter step 45/50 [04:19:17 | 0.1 min] filter step 50/50 [04:19:17 | 0.1 min] block 30: 0 extra fixed vectors, next Ritz value 0.1465, max residual 0.0e+00 [04:19:17 | 0.1 min] T_6 c_6 c_5 = 42 (next 0.1465, 42 from seeds, 3 s) [04:19:18 | 0.1 min] seeds verified so far: 20 (candidates looked at: 305) [04:19:20 | 0.1 min] seeds verified so far: 40 (candidates looked at: 457) [04:19:23 | 0.2 min] seeds verified so far: 60 (candidates looked at: 615) [04:19:30 | 0.3 min] seeds verified so far: 80 (candidates looked at: 921) [04:19:34 | 0.4 min] seeds verified so far: 100 (candidates looked at: 1099) [04:19:41 | 0.5 min] seeds verified so far: 120 (candidates looked at: 1347) [04:20:09 | 0.9 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:20:11 | 1.0 min] filter step 5/50 [04:20:12 | 1.0 min] filter step 10/50 [04:20:14 | 1.0 min] filter step 15/50 [04:20:15 | 1.0 min] filter step 20/50 [04:20:17 | 1.1 min] filter step 25/50 [04:20:19 | 1.1 min] filter step 30/50 [04:20:20 | 1.1 min] filter step 35/50 [04:20:22 | 1.1 min] filter step 40/50 [04:20:23 | 1.2 min] filter step 45/50 [04:20:25 | 1.2 min] filter step 50/50 [04:20:25 | 1.2 min] block 30: 0 extra fixed vectors, next Ritz value 0.1461, max residual 0.0e+00 [04:20:25 | 1.2 min] T_6 c_6 c_6 = 132 (next 0.1461, 132 from seeds, 69 s) [04:20:25 | 1.2 min] T_6 c_6 done: c = [1, 2, 5, 14, 42, 132] [04:20:25 | 1.2 min] === H_6^q, q random c_6 : c_1..c_6 === [04:20:25 | 1.2 min] H_6^q, q random c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:20:25 | 1.2 min] H_6^q, q random c_6 c_2 = 2 (next 0.4019, 2 from seeds, 0 s) [04:20:25 | 1.2 min] H_6^q, q random c_6 c_3 = 5 (next 0.4019, 5 from seeds, 0 s) [04:20:27 | 1.2 min] H_6^q, q random c_6 c_4 = 14 (next 0.6733, 14 from seeds, 1 s) [04:20:27 | 1.2 min] seeds verified so far: 20 (candidates looked at: 20) [04:20:27 | 1.2 min] seeds verified so far: 40 (candidates looked at: 284) [04:20:27 | 1.2 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:20:27 | 1.2 min] filter step 5/50 [04:20:27 | 1.2 min] filter step 10/50 [04:20:28 | 1.2 min] filter step 15/50 [04:20:28 | 1.2 min] filter step 20/50 [04:20:28 | 1.3 min] filter step 25/50 [04:20:28 | 1.3 min] filter step 30/50 [04:20:29 | 1.3 min] filter step 35/50 [04:20:29 | 1.3 min] filter step 40/50 [04:20:29 | 1.3 min] filter step 45/50 [04:20:29 | 1.3 min] filter step 50/50 [04:20:29 | 1.3 min] block 30: 0 extra fixed vectors, next Ritz value 0.1337, max residual 0.0e+00 [04:20:29 | 1.3 min] H_6^q, q random c_6 c_5 = 42 (next 0.1337, 42 from seeds, 3 s) [04:20:30 | 1.3 min] seeds verified so far: 20 (candidates looked at: 26) [04:20:31 | 1.3 min] seeds verified so far: 40 (candidates looked at: 178) [04:20:38 | 1.4 min] seeds verified so far: 60 (candidates looked at: 603) [04:20:47 | 1.6 min] seeds verified so far: 80 (candidates looked at: 1021) [04:20:49 | 1.6 min] seeds verified so far: 100 (candidates looked at: 1099) [04:20:55 | 1.7 min] seeds verified so far: 120 (candidates looked at: 1287) [04:21:24 | 2.2 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:21:26 | 2.2 min] filter step 5/50 [04:21:27 | 2.2 min] filter step 10/50 [04:21:29 | 2.3 min] filter step 15/50 [04:21:31 | 2.3 min] filter step 20/50 [04:21:32 | 2.3 min] filter step 25/50 [04:21:34 | 2.3 min] filter step 30/50 [04:21:36 | 2.4 min] filter step 35/50 [04:21:37 | 2.4 min] filter step 40/50 [04:21:39 | 2.4 min] filter step 45/50 [04:21:40 | 2.5 min] filter step 50/50 [04:21:41 | 2.5 min] block 30: 0 extra fixed vectors, next Ritz value 0.1322, max residual 0.0e+00 [04:21:41 | 2.5 min] H_6^q, q random c_6 c_6 = 132 (next 0.1322, 132 from seeds, 72 s) [04:21:41 | 2.5 min] H_6^q, q random c_6 done: c = [1, 2, 5, 14, 42, 132] [04:21:41 | 2.5 min] === BN_6^q, q random on arc c_6 : c_1..c_6 === [04:21:41 | 2.5 min] BN_6^q, q random on arc c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:21:41 | 2.5 min] BN_6^q, q random on arc c_6 c_2 = 2 (next 0.5008, 2 from seeds, 0 s) [04:21:41 | 2.5 min] BN_6^q, q random on arc c_6 c_3 = 5 (next 0.5008, 5 from seeds, 0 s) [04:21:42 | 2.5 min] BN_6^q, q random on arc c_6 c_4 = 14 (next 0.6922, 14 from seeds, 1 s) [04:21:42 | 2.5 min] seeds verified so far: 20 (candidates looked at: 20) [04:21:42 | 2.5 min] seeds verified so far: 40 (candidates looked at: 284) [04:21:42 | 2.5 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:21:43 | 2.5 min] filter step 5/50 [04:21:43 | 2.5 min] filter step 10/50 [04:21:43 | 2.5 min] filter step 15/50 [04:21:43 | 2.5 min] filter step 20/50 [04:21:43 | 2.5 min] filter step 25/50 [04:21:44 | 2.5 min] filter step 30/50 [04:21:44 | 2.5 min] filter step 35/50 [04:21:44 | 2.5 min] filter step 40/50 [04:21:44 | 2.5 min] filter step 45/50 [04:21:45 | 2.5 min] filter step 50/50 [04:21:45 | 2.5 min] block 30: 0 extra fixed vectors, next Ritz value 0.1631, max residual 0.0e+00 [04:21:45 | 2.5 min] BN_6^q, q random on arc c_6 c_5 = 42 (next 0.1631, 42 from seeds, 3 s) [04:21:45 | 2.5 min] seeds verified so far: 20 (candidates looked at: 26) [04:21:46 | 2.6 min] seeds verified so far: 40 (candidates looked at: 178) [04:21:53 | 2.7 min] seeds verified so far: 60 (candidates looked at: 603) [04:22:05 | 2.9 min] seeds verified so far: 80 (candidates looked at: 1021) [04:22:08 | 2.9 min] seeds verified so far: 100 (candidates looked at: 1099) [04:22:13 | 3.0 min] seeds verified so far: 120 (candidates looked at: 1287) [04:22:47 | 3.6 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:22:48 | 3.6 min] filter step 5/50 [04:22:50 | 3.6 min] filter step 10/50 [04:22:52 | 3.6 min] filter step 15/50 [04:22:53 | 3.7 min] filter step 20/50 [04:22:55 | 3.7 min] filter step 25/50 [04:22:56 | 3.7 min] filter step 30/50 [04:22:58 | 3.7 min] filter step 35/50 [04:22:59 | 3.8 min] filter step 40/50 [04:23:01 | 3.8 min] filter step 45/50 [04:23:03 | 3.8 min] filter step 50/50 [04:23:03 | 3.8 min] block 30: 0 extra fixed vectors, next Ritz value 0.1579, max residual 0.0e+00 [04:23:03 | 3.8 min] BN_6^q, q random on arc c_6 c_6 = 132 (next 0.1579, 132 from seeds, 78 s) [04:23:03 | 3.8 min] BN_6^q, q random on arc c_6 done: c = [1, 2, 5, 14, 42, 132] [04:23:03 | 3.8 min] === K_6, random c_6 : c_1..c_6 === [04:23:03 | 3.8 min] K_6, random c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:23:03 | 3.8 min] K_6, random c_6 c_2 = 2 (next 0.7416, 2 from seeds, 0 s) [04:23:03 | 3.8 min] K_6, random c_6 c_3 = 5 (next 0.7416, 5 from seeds, 0 s) [04:23:04 | 3.9 min] K_6, random c_6 c_4 = 14 (next 0.7946, 14 from seeds, 1 s) [04:23:04 | 3.9 min] seeds verified so far: 20 (candidates looked at: 20) [04:23:04 | 3.9 min] seeds verified so far: 40 (candidates looked at: 284) [04:23:05 | 3.9 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:23:05 | 3.9 min] filter step 5/50 [04:23:05 | 3.9 min] filter step 10/50 [04:23:05 | 3.9 min] filter step 15/50 [04:23:05 | 3.9 min] filter step 20/50 [04:23:06 | 3.9 min] filter step 25/50 [04:23:06 | 3.9 min] filter step 30/50 [04:23:06 | 3.9 min] filter step 35/50 [04:23:06 | 3.9 min] filter step 40/50 [04:23:06 | 3.9 min] filter step 45/50 [04:23:07 | 3.9 min] filter step 50/50 [04:23:07 | 3.9 min] block 30: 0 extra fixed vectors, next Ritz value 0.1530, max residual 0.0e+00 [04:23:07 | 3.9 min] K_6, random c_6 c_5 = 42 (next 0.1530, 42 from seeds, 3 s) [04:23:07 | 3.9 min] seeds verified so far: 20 (candidates looked at: 26) [04:23:08 | 3.9 min] seeds verified so far: 40 (candidates looked at: 178) [04:23:15 | 4.0 min] seeds verified so far: 60 (candidates looked at: 603) [04:23:25 | 4.2 min] seeds verified so far: 80 (candidates looked at: 1021) [04:23:27 | 4.2 min] seeds verified so far: 100 (candidates looked at: 1099) [04:23:32 | 4.3 min] seeds verified so far: 120 (candidates looked at: 1287) [04:24:02 | 4.8 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:24:03 | 4.8 min] filter step 5/50 [04:24:05 | 4.9 min] filter step 10/50 [04:24:07 | 4.9 min] filter step 15/50 [04:24:08 | 4.9 min] filter step 20/50 [04:24:10 | 4.9 min] filter step 25/50 [04:24:11 | 5.0 min] filter step 30/50 [04:24:13 | 5.0 min] filter step 35/50 [04:24:14 | 5.0 min] filter step 40/50 [04:24:16 | 5.1 min] filter step 45/50 [04:24:18 | 5.1 min] filter step 50/50 [04:24:18 | 5.1 min] block 30: 0 extra fixed vectors, next Ritz value 0.1490, max residual 0.0e+00 [04:24:18 | 5.1 min] K_6, random c_6 c_6 = 132 (next 0.1490, 132 from seeds, 71 s) [04:24:18 | 5.1 min] K_6, random c_6 done: c = [1, 2, 5, 14, 42, 132] [04:24:18 | 5.1 min] === P_7^q, q random c_6 : c_1..c_6 === [04:24:18 | 5.1 min] P_7^q, q random c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:24:18 | 5.1 min] P_7^q, q random c_6 c_2 = 2 (next 0.3528, 2 from seeds, 0 s) [04:24:18 | 5.1 min] P_7^q, q random c_6 c_3 = 5 (next 0.5303, 5 from seeds, 0 s) [04:24:18 | 5.1 min] P_7^q, q random c_6 c_4 = 14 (next 0.5619, 14 from seeds, 0 s) [04:24:18 | 5.1 min] seeds verified so far: 20 (candidates looked at: 26) [04:24:19 | 5.1 min] seeds verified so far: 40 (candidates looked at: 323) [04:24:19 | 5.1 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:24:20 | 5.1 min] filter step 5/50 [04:24:20 | 5.1 min] filter step 10/50 [04:24:21 | 5.1 min] filter step 15/50 [04:24:21 | 5.1 min] filter step 20/50 [04:24:22 | 5.1 min] filter step 25/50 [04:24:22 | 5.2 min] filter step 30/50 [04:24:23 | 5.2 min] filter step 35/50 [04:24:23 | 5.2 min] filter step 40/50 [04:24:24 | 5.2 min] filter step 45/50 [04:24:24 | 5.2 min] filter step 50/50 [04:24:24 | 5.2 min] block 30: 0 extra fixed vectors, next Ritz value 0.1517, max residual 0.0e+00 [04:24:24 | 5.2 min] P_7^q, q random c_6 c_5 = 42 (next 0.1517, 42 from seeds, 6 s) [04:24:25 | 5.2 min] seeds verified so far: 20 (candidates looked at: 26) [04:24:37 | 5.4 min] seeds verified so far: 40 (candidates looked at: 426) [04:24:53 | 5.7 min] seeds verified so far: 60 (candidates looked at: 795) [04:25:02 | 5.8 min] seeds verified so far: 80 (candidates looked at: 956) [04:25:13 | 6.0 min] seeds verified so far: 100 (candidates looked at: 1123) [04:25:26 | 6.2 min] seeds verified so far: 120 (candidates looked at: 1287) [04:26:41 | 7.5 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:26:45 | 7.5 min] filter step 5/50 [04:26:50 | 7.6 min] filter step 10/50 [04:26:55 | 7.7 min] filter step 15/50 [04:26:59 | 7.8 min] filter step 20/50 [04:27:04 | 7.9 min] filter step 25/50 [04:27:09 | 7.9 min] filter step 30/50 [04:27:14 | 8.0 min] filter step 35/50 [04:27:18 | 8.1 min] filter step 40/50 [04:27:23 | 8.2 min] filter step 45/50 [04:27:28 | 8.2 min] filter step 50/50 [04:27:29 | 8.3 min] block 30: 0 extra fixed vectors, next Ritz value 0.1458, max residual 0.0e+00 [04:27:29 | 8.3 min] P_7^q, q random c_6 c_6 = 132 (next 0.1458, 132 from seeds, 185 s) [04:27:29 | 8.3 min] P_7^q, q random c_6 done: c = [1, 2, 5, 14, 42, 132] [04:27:29 | 8.3 min] === R_7^q, q random c_6 : c_1..c_6 === [04:27:29 | 8.3 min] R_7^q, q random c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:27:29 | 8.3 min] R_7^q, q random c_6 c_2 = 2 (next 0.3528, 2 from seeds, 0 s) [04:27:29 | 8.3 min] R_7^q, q random c_6 c_3 = 5 (next 0.5469, 5 from seeds, 0 s) [04:27:29 | 8.3 min] R_7^q, q random c_6 c_4 = 14 (next 0.5533, 14 from seeds, 0 s) [04:27:29 | 8.3 min] seeds verified so far: 20 (candidates looked at: 26) [04:27:30 | 8.3 min] seeds verified so far: 40 (candidates looked at: 323) [04:27:30 | 8.3 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:27:31 | 8.3 min] filter step 5/50 [04:27:31 | 8.3 min] filter step 10/50 [04:27:32 | 8.3 min] filter step 15/50 [04:27:32 | 8.3 min] filter step 20/50 [04:27:33 | 8.3 min] filter step 25/50 [04:27:33 | 8.3 min] filter step 30/50 [04:27:34 | 8.3 min] filter step 35/50 [04:27:34 | 8.4 min] filter step 40/50 [04:27:35 | 8.4 min] filter step 45/50 [04:27:35 | 8.4 min] filter step 50/50 [04:27:35 | 8.4 min] block 30: 0 extra fixed vectors, next Ritz value 0.1435, max residual 0.0e+00 [04:27:35 | 8.4 min] R_7^q, q random c_6 c_5 = 42 (next 0.1435, 42 from seeds, 6 s) [04:27:36 | 8.4 min] seeds verified so far: 20 (candidates looked at: 26) [04:27:48 | 8.6 min] seeds verified so far: 40 (candidates looked at: 426) [04:28:04 | 8.8 min] seeds verified so far: 60 (candidates looked at: 795) [04:28:13 | 9.0 min] seeds verified so far: 80 (candidates looked at: 956) [04:28:23 | 9.2 min] seeds verified so far: 100 (candidates looked at: 1123) [04:28:36 | 9.4 min] seeds verified so far: 120 (candidates looked at: 1287) [04:29:50 | 10.6 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:29:55 | 10.7 min] filter step 5/50 [04:29:59 | 10.8 min] filter step 10/50 [04:30:04 | 10.8 min] filter step 15/50 [04:30:09 | 10.9 min] filter step 20/50 [04:30:13 | 11.0 min] filter step 25/50 [04:30:18 | 11.1 min] filter step 30/50 [04:30:23 | 11.2 min] filter step 35/50 [04:30:27 | 11.2 min] filter step 40/50 [04:30:32 | 11.3 min] filter step 45/50 [04:30:37 | 11.4 min] filter step 50/50 [04:30:38 | 11.4 min] block 30: 0 extra fixed vectors, next Ritz value 0.1398, max residual 0.0e+00 [04:30:38 | 11.4 min] R_7^q, q random c_6 c_6 = 132 (next 0.1398, 132 from seeds, 183 s) [04:30:38 | 11.4 min] R_7^q, q random c_6 done: c = [1, 2, 5, 14, 42, 132] [04:30:38 | 11.4 min] === F_{8,4}, random c_6 : c_1..c_6 === [04:30:38 | 11.4 min] F_{8,4}, random c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:30:38 | 11.4 min] F_{8,4}, random c_6 c_2 = 2 (next 0.8934, 2 from seeds, 0 s) [04:30:38 | 11.4 min] F_{8,4}, random c_6 c_3 = 5 (next 0.8934, 5 from seeds, 0 s) [04:30:38 | 11.4 min] F_{8,4}, random c_6 c_4 = 14 (next 0.8934, 14 from seeds, 0 s) [04:30:38 | 11.4 min] seeds verified so far: 20 (candidates looked at: 26) [04:30:40 | 11.5 min] seeds verified so far: 40 (candidates looked at: 323) [04:30:42 | 11.5 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:30:43 | 11.5 min] filter step 5/50 [04:30:43 | 11.5 min] filter step 10/50 [04:30:44 | 11.5 min] filter step 15/50 [04:30:45 | 11.5 min] filter step 20/50 [04:30:45 | 11.5 min] filter step 25/50 [04:30:46 | 11.5 min] filter step 30/50 [04:30:47 | 11.6 min] filter step 35/50 [04:30:47 | 11.6 min] filter step 40/50 [04:30:48 | 11.6 min] filter step 45/50 [04:30:49 | 11.6 min] filter step 50/50 [04:30:49 | 11.6 min] block 30: 0 extra fixed vectors, next Ritz value 0.1131, max residual 0.0e+00 [04:30:49 | 11.6 min] F_{8,4}, random c_6 c_5 = 42 (next 0.1131, 42 from seeds, 11 s) [04:30:51 | 11.6 min] seeds verified so far: 20 (candidates looked at: 26) [04:31:17 | 12.1 min] seeds verified so far: 40 (candidates looked at: 426) [04:31:54 | 12.7 min] seeds verified so far: 60 (candidates looked at: 795) [04:32:16 | 13.1 min] seeds verified so far: 80 (candidates looked at: 956) [04:32:43 | 13.5 min] seeds verified so far: 100 (candidates looked at: 1123) [04:33:15 | 14.0 min] seeds verified so far: 120 (candidates looked at: 1287) [04:36:06 | 16.9 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:36:16 | 17.0 min] filter step 5/50 [04:36:26 | 17.2 min] filter step 10/50 [04:36:36 | 17.4 min] filter step 15/50 [04:36:47 | 17.6 min] filter step 20/50 [04:36:57 | 17.7 min] filter step 25/50 [04:37:07 | 17.9 min] filter step 30/50 [04:37:17 | 18.1 min] filter step 35/50 [04:37:28 | 18.2 min] filter step 40/50 [04:37:38 | 18.4 min] filter step 45/50 [04:37:48 | 18.6 min] filter step 50/50 [04:37:50 | 18.6 min] block 30: 0 extra fixed vectors, next Ritz value 0.1135, max residual 0.0e+00 [04:37:50 | 18.6 min] F_{8,4}, random c_6 c_6 = 132 (next 0.1135, 132 from seeds, 421 s) [04:37:50 | 18.6 min] F_{8,4}, random c_6 done: c = [1, 2, 5, 14, 42, 132] [04:37:50 | 18.6 min] === F_{8,2}, random c_6 : c_1..c_6 === [04:37:50 | 18.6 min] F_{8,2}, random c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:37:50 | 18.6 min] F_{8,2}, random c_6 c_2 = 2 (next 0.6218, 2 from seeds, 0 s) [04:37:50 | 18.6 min] F_{8,2}, random c_6 c_3 = 5 (next 0.6218, 5 from seeds, 0 s) [04:37:50 | 18.6 min] F_{8,2}, random c_6 c_4 = 14 (next 0.6377, 14 from seeds, 0 s) [04:37:51 | 18.6 min] seeds verified so far: 20 (candidates looked at: 26) [04:37:52 | 18.7 min] seeds verified so far: 40 (candidates looked at: 323) [04:37:54 | 18.7 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:37:55 | 18.7 min] filter step 5/50 [04:37:56 | 18.7 min] filter step 10/50 [04:37:56 | 18.7 min] filter step 15/50 [04:37:57 | 18.7 min] filter step 20/50 [04:37:58 | 18.7 min] filter step 25/50 [04:37:58 | 18.8 min] filter step 30/50 [04:37:59 | 18.8 min] filter step 35/50 [04:38:00 | 18.8 min] filter step 40/50 [04:38:00 | 18.8 min] filter step 45/50 [04:38:01 | 18.8 min] filter step 50/50 [04:38:01 | 18.8 min] block 30: 0 extra fixed vectors, next Ritz value 0.1360, max residual 0.0e+00 [04:38:01 | 18.8 min] F_{8,2}, random c_6 c_5 = 42 (next 0.1360, 42 from seeds, 11 s) [04:38:03 | 18.8 min] seeds verified so far: 20 (candidates looked at: 26) [04:38:29 | 19.3 min] seeds verified so far: 40 (candidates looked at: 426) [04:39:07 | 19.9 min] seeds verified so far: 60 (candidates looked at: 795) [04:39:29 | 20.3 min] seeds verified so far: 80 (candidates looked at: 956) [04:39:55 | 20.7 min] seeds verified so far: 100 (candidates looked at: 1123) [04:40:28 | 21.2 min] seeds verified so far: 120 (candidates looked at: 1287) [04:43:19 | 24.1 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:43:29 | 24.3 min] filter step 5/50 [04:43:40 | 24.4 min] filter step 10/50 [04:43:50 | 24.6 min] filter step 15/50 [04:44:01 | 24.8 min] filter step 20/50 [04:44:11 | 25.0 min] filter step 25/50 [04:44:22 | 25.1 min] filter step 30/50 [04:44:32 | 25.3 min] filter step 35/50 [04:44:42 | 25.5 min] filter step 40/50 [04:44:53 | 25.7 min] filter step 45/50 [04:45:03 | 25.8 min] filter step 50/50 [04:45:06 | 25.9 min] block 30: 0 extra fixed vectors, next Ritz value 0.1285, max residual 0.0e+00 [04:45:06 | 25.9 min] F_{8,2}, random c_6 c_6 = 132 (next 0.1285, 132 from seeds, 424 s) [04:45:06 | 25.9 min] F_{8,2}, random c_6 done: c = [1, 2, 5, 14, 42, 132] [04:45:06 | 25.9 min] === K_{8,2}, random c_6 : c_1..c_6 === [04:45:06 | 25.9 min] K_{8,2}, random c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:45:06 | 25.9 min] K_{8,2}, random c_6 c_2 = 2 (next 0.4519, 2 from seeds, 0 s) [04:45:06 | 25.9 min] K_{8,2}, random c_6 c_3 = 5 (next 0.4519, 5 from seeds, 0 s) [04:45:06 | 25.9 min] K_{8,2}, random c_6 c_4 = 14 (next 0.5658, 14 from seeds, 0 s) [04:45:06 | 25.9 min] seeds verified so far: 20 (candidates looked at: 26) [04:45:08 | 25.9 min] seeds verified so far: 40 (candidates looked at: 323) [04:45:10 | 25.9 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:45:10 | 26.0 min] filter step 5/50 [04:45:11 | 26.0 min] filter step 10/50 [04:45:12 | 26.0 min] filter step 15/50 [04:45:12 | 26.0 min] filter step 20/50 [04:45:13 | 26.0 min] filter step 25/50 [04:45:14 | 26.0 min] filter step 30/50 [04:45:14 | 26.0 min] filter step 35/50 [04:45:15 | 26.0 min] filter step 40/50 [04:45:16 | 26.0 min] filter step 45/50 [04:45:16 | 26.1 min] filter step 50/50 [04:45:17 | 26.1 min] block 30: 0 extra fixed vectors, next Ritz value 0.1243, max residual 0.0e+00 [04:45:17 | 26.1 min] K_{8,2}, random c_6 c_5 = 42 (next 0.1243, 42 from seeds, 11 s) [04:45:19 | 26.1 min] seeds verified so far: 20 (candidates looked at: 26) [04:45:45 | 26.5 min] seeds verified so far: 40 (candidates looked at: 426) [04:46:23 | 27.2 min] seeds verified so far: 60 (candidates looked at: 795) [04:46:46 | 27.5 min] seeds verified so far: 80 (candidates looked at: 956) [04:47:12 | 28.0 min] seeds verified so far: 100 (candidates looked at: 1123) [04:47:45 | 28.5 min] seeds verified so far: 120 (candidates looked at: 1287) [04:50:35 | 31.4 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:50:45 | 31.5 min] filter step 5/50 [04:50:55 | 31.7 min] filter step 10/50 [04:51:05 | 31.9 min] filter step 15/50 [04:51:15 | 32.0 min] filter step 20/50 [04:51:25 | 32.2 min] filter step 25/50 [04:51:35 | 32.4 min] filter step 30/50 [04:51:45 | 32.5 min] filter step 35/50 [04:51:55 | 32.7 min] filter step 40/50 [04:52:05 | 32.9 min] filter step 45/50 [04:52:15 | 33.0 min] filter step 50/50 [04:52:17 | 33.1 min] block 30: 0 extra fixed vectors, next Ritz value 0.1216, max residual 0.0e+00 [04:52:17 | 33.1 min] K_{8,2}, random c_6 c_6 = 132 (next 0.1216, 132 from seeds, 420 s) [04:52:17 | 33.1 min] K_{8,2}, random c_6 done: c = [1, 2, 5, 14, 42, 132] [04:52:17 | 33.1 min] === M_{8,1}, random c_6 : c_1..c_6 === [04:52:17 | 33.1 min] M_{8,1}, random c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:52:17 | 33.1 min] M_{8,1}, random c_6 c_2 = 2 (next 0.8585, 2 from seeds, 0 s) [04:52:17 | 33.1 min] M_{8,1}, random c_6 c_3 = 5 (next 0.8585, 5 from seeds, 0 s) [04:52:17 | 33.1 min] M_{8,1}, random c_6 c_4 = 14 (next 0.8585, 14 from seeds, 0 s) [04:52:18 | 33.1 min] seeds verified so far: 20 (candidates looked at: 26) [04:52:19 | 33.1 min] seeds verified so far: 40 (candidates looked at: 323) [04:52:21 | 33.1 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:52:22 | 33.1 min] filter step 5/50 [04:52:22 | 33.2 min] filter step 10/50 [04:52:23 | 33.2 min] filter step 15/50 [04:52:24 | 33.2 min] filter step 20/50 [04:52:24 | 33.2 min] filter step 25/50 [04:52:25 | 33.2 min] filter step 30/50 [04:52:26 | 33.2 min] filter step 35/50 [04:52:26 | 33.2 min] filter step 40/50 [04:52:27 | 33.2 min] filter step 45/50 [04:52:28 | 33.2 min] filter step 50/50 [04:52:28 | 33.2 min] block 30: 0 extra fixed vectors, next Ritz value 0.1268, max residual 0.0e+00 [04:52:28 | 33.2 min] M_{8,1}, random c_6 c_5 = 42 (next 0.1268, 42 from seeds, 11 s) [04:52:30 | 33.3 min] seeds verified so far: 20 (candidates looked at: 26) [04:52:56 | 33.7 min] seeds verified so far: 40 (candidates looked at: 426) [04:53:34 | 34.4 min] seeds verified so far: 60 (candidates looked at: 795) [04:53:57 | 34.7 min] seeds verified so far: 80 (candidates looked at: 956) [04:54:24 | 35.2 min] seeds verified so far: 100 (candidates looked at: 1123) [04:54:57 | 35.7 min] seeds verified so far: 120 (candidates looked at: 1287) [04:57:47 | 38.6 min] seeding done: 132 fixed vectors; random block of 30 on the complement [04:57:58 | 38.7 min] filter step 5/50 [04:58:08 | 38.9 min] filter step 10/50 [04:58:18 | 39.1 min] filter step 15/50 [04:58:28 | 39.3 min] filter step 20/50 [04:58:39 | 39.4 min] filter step 25/50 [04:58:49 | 39.6 min] filter step 30/50 [04:58:59 | 39.8 min] filter step 35/50 [04:59:09 | 39.9 min] filter step 40/50 [04:59:19 | 40.1 min] filter step 45/50 [04:59:29 | 40.3 min] filter step 50/50 [04:59:32 | 40.3 min] block 30: 0 extra fixed vectors, next Ritz value 0.1214, max residual 0.0e+00 [04:59:32 | 40.3 min] M_{8,1}, random c_6 c_6 = 132 (next 0.1214, 132 from seeds, 424 s) [04:59:32 | 40.3 min] M_{8,1}, random c_6 done: c = [1, 2, 5, 14, 42, 132] [04:59:32 | 40.3 min] === H_9 c_6 : c_1..c_6 === [04:59:32 | 40.3 min] H_9 c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [04:59:32 | 40.3 min] H_9 c_6 c_2 = 2 (next 0.4174, 2 from seeds, 0 s) [04:59:32 | 40.3 min] H_9 c_6 c_3 = 5 (next 0.4205, 5 from seeds, 0 s) [04:59:32 | 40.3 min] seeding done: 14 fixed vectors; random block of 30 on the complement [04:59:32 | 40.3 min] filter step 5/50 [04:59:32 | 40.3 min] filter step 10/50 [04:59:33 | 40.3 min] filter step 15/50 [04:59:33 | 40.3 min] filter step 20/50 [04:59:33 | 40.3 min] filter step 25/50 [04:59:33 | 40.3 min] filter step 30/50 [04:59:33 | 40.3 min] filter step 35/50 [04:59:34 | 40.3 min] filter step 40/50 [04:59:34 | 40.3 min] filter step 45/50 [04:59:34 | 40.4 min] filter step 50/50 [04:59:34 | 40.4 min] block 30: 0 extra fixed vectors, next Ritz value 0.1353, max residual 0.0e+00 [04:59:34 | 40.4 min] H_9 c_6 c_4 = 14 (next 0.1353, 14 from seeds, 2 s) [04:59:36 | 40.4 min] seeds verified so far: 20 (candidates looked at: 181) [04:59:38 | 40.4 min] seeds verified so far: 40 (candidates looked at: 299) [04:59:42 | 40.5 min] seeding done: 42 fixed vectors; random block of 30 on the complement [04:59:44 | 40.5 min] filter step 5/50 [04:59:47 | 40.6 min] filter step 10/50 [04:59:49 | 40.6 min] filter step 15/50 [04:59:51 | 40.6 min] filter step 20/50 [04:59:54 | 40.7 min] filter step 25/50 [04:59:56 | 40.7 min] filter step 30/50 [04:59:58 | 40.8 min] filter step 35/50 [05:00:01 | 40.8 min] filter step 40/50 [05:00:03 | 40.8 min] filter step 45/50 [05:00:05 | 40.9 min] filter step 50/50 [05:00:06 | 40.9 min] block 30: 0 extra fixed vectors, next Ritz value 0.1215, max residual 0.0e+00 [05:00:06 | 40.9 min] H_9 c_6 c_5 = 42 (next 0.1215, 42 from seeds, 32 s) [05:00:23 | 41.2 min] seeds verified so far: 20 (candidates looked at: 164) [05:01:31 | 42.3 min] seeds verified so far: 40 (candidates looked at: 634) [05:02:15 | 43.0 min] seeds verified so far: 60 (candidates looked at: 789) [05:03:09 | 43.9 min] seeds verified so far: 80 (candidates looked at: 950) [05:06:20 | 47.1 min] seeds verified so far: 100 (candidates looked at: 1099) [05:13:31 | 54.3 min] seeds verified so far: 120 (candidates looked at: 1413) [05:33:19 | 74.1 min] seeding done: 132 fixed vectors; random block of 30 on the complement [05:33:57 | 74.7 min] filter step 5/50 [05:34:35 | 75.4 min] filter step 10/50 [05:35:12 | 76.0 min] filter step 15/50 [05:35:49 | 76.6 min] filter step 20/50 [05:36:26 | 77.2 min] filter step 25/50 [05:37:04 | 77.8 min] filter step 30/50 [05:37:41 | 78.5 min] filter step 35/50 [05:38:19 | 79.1 min] filter step 40/50 [05:38:56 | 79.7 min] filter step 45/50 [05:39:34 | 80.4 min] filter step 50/50 [05:39:43 | 80.5 min] block 30: 0 extra fixed vectors, next Ritz value 0.1151, max residual 0.0e+00 [05:39:43 | 80.5 min] H_9 c_6 c_6 = 132 (next 0.1151, 132 from seeds, 2377 s) [05:39:43 | 80.5 min] H_9 c_6 done: c = [1, 2, 5, 14, 42, 132] [05:39:43 | 80.5 min] === BN_10 c_6 : c_1..c_6 === [05:39:43 | 80.5 min] BN_10 c_6 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [05:39:43 | 80.5 min] BN_10 c_6 c_2 = 2 (next 0.5641, 2 from seeds, 0 s) [05:39:43 | 80.5 min] BN_10 c_6 c_3 = 5 (next 0.5641, 5 from seeds, 1 s) [05:39:43 | 80.5 min] seeding done: 14 fixed vectors; random block of 30 on the complement [05:39:44 | 80.5 min] filter step 5/50 [05:39:44 | 80.5 min] filter step 10/50 [05:39:44 | 80.5 min] filter step 15/50 [05:39:45 | 80.5 min] filter step 20/50 [05:39:45 | 80.5 min] filter step 25/50 [05:39:45 | 80.5 min] filter step 30/50 [05:39:45 | 80.5 min] filter step 35/50 [05:39:46 | 80.5 min] filter step 40/50 [05:39:46 | 80.6 min] filter step 45/50 [05:39:46 | 80.6 min] filter step 50/50 [05:39:46 | 80.6 min] block 30: 0 extra fixed vectors, next Ritz value 0.1223, max residual 0.0e+00 [05:39:46 | 80.6 min] BN_10 c_6 c_4 = 14 (next 0.1223, 14 from seeds, 3 s) [05:39:50 | 80.6 min] seeds verified so far: 20 (candidates looked at: 181) [05:39:53 | 80.7 min] seeds verified so far: 40 (candidates looked at: 299) [05:40:01 | 80.8 min] seeding done: 42 fixed vectors; random block of 30 on the complement [05:40:06 | 80.9 min] filter step 5/50 [05:40:10 | 81.0 min] filter step 10/50 [05:40:15 | 81.0 min] filter step 15/50 [05:40:20 | 81.1 min] filter step 20/50 [05:40:24 | 81.2 min] filter step 25/50 [05:40:29 | 81.3 min] filter step 30/50 [05:40:33 | 81.3 min] filter step 35/50 [05:40:38 | 81.4 min] filter step 40/50 [05:40:43 | 81.5 min] filter step 45/50 [05:40:47 | 81.6 min] filter step 50/50 [05:40:48 | 81.6 min] block 30: 0 extra fixed vectors, next Ritz value 0.1081, max residual 0.0e+00 [05:40:48 | 81.6 min] BN_10 c_6 c_5 = 42 (next 0.1081, 42 from seeds, 62 s) [05:46:08 | 86.9 min] seeds verified so far: 20 (candidates looked at: 164) [06:02:41 | 103.5 min] seeds verified so far: 40 (candidates looked at: 634) [06:10:10 | 111.0 min] seeds verified so far: 60 (candidates looked at: 789) [06:18:40 | 119.4 min] seeds verified so far: 80 (candidates looked at: 950) [06:27:20 | 128.1 min] seeds verified so far: 100 (candidates looked at: 1099) [06:50:25 | 151.2 min] seeds verified so far: 120 (candidates looked at: 1413) [07:59:07 | 219.9 min] seeding done: 132 fixed vectors; random block of 30 on the complement [08:00:32 | 221.3 min] filter step 5/50 [08:01:54 | 222.7 min] filter step 10/50 [08:03:15 | 224.0 min] filter step 15/50 [08:04:35 | 225.4 min] filter step 20/50 [08:05:57 | 226.7 min] filter step 25/50 [08:07:18 | 228.1 min] filter step 30/50 [08:08:39 | 229.4 min] filter step 35/50 [08:10:00 | 230.8 min] filter step 40/50 [08:11:21 | 232.1 min] filter step 45/50 [08:12:42 | 233.5 min] filter step 50/50 [08:13:01 | 233.8 min] block 30: 0 extra fixed vectors, next Ritz value 0.1032, max residual 0.0e+00 [08:13:01 | 233.8 min] BN_10 c_6 c_6 = 132 (next 0.1032, 132 from seeds, 9132 s) [08:13:01 | 233.8 min] BN_10 c_6 done: c = [1, 2, 5, 14, 42, 132] [08:13:01 | 233.8 min] === P_20^1 c_5 : c_1..c_5 === [08:13:01 | 233.8 min] P_20^1 c_5 c_1 = 1 (next 0.0000, 0 from seeds, 0 s) [08:13:01 | 233.8 min] P_20^1 c_5 c_2 = 2 (next 0.2919, 2 from seeds, 0 s) [08:13:01 | 233.8 min] seeding done: 5 fixed vectors; random block of 30 on the complement [08:13:01 | 233.8 min] filter step 5/50 [08:13:01 | 233.8 min] filter step 10/50 [08:13:01 | 233.8 min] filter step 15/50 [08:13:01 | 233.8 min] filter step 20/50 [08:13:01 | 233.8 min] filter step 25/50 [08:13:01 | 233.8 min] filter step 30/50 [08:13:01 | 233.8 min] filter step 35/50 [08:13:02 | 233.8 min] filter step 40/50 [08:13:02 | 233.8 min] filter step 45/50 [08:13:02 | 233.8 min] filter step 50/50 [08:13:02 | 233.8 min] block 30: 0 extra fixed vectors, next Ritz value 0.0472, max residual 0.0e+00 [08:13:02 | 233.8 min] P_20^1 c_5 c_3 = 5 (next 0.0472, 5 from seeds, 1 s) [08:13:03 | 233.8 min] seeding done: 14 fixed vectors; random block of 30 on the complement [08:13:08 | 233.9 min] filter step 5/50 [08:13:14 | 234.0 min] filter step 10/50 [08:13:19 | 234.1 min] filter step 15/50 [08:13:24 | 234.2 min] filter step 20/50 [08:13:29 | 234.3 min] filter step 25/50 [08:13:35 | 234.4 min] filter step 30/50 [08:13:40 | 234.4 min] filter step 35/50 [08:13:45 | 234.5 min] filter step 40/50 [08:13:50 | 234.6 min] filter step 45/50 [08:13:56 | 234.7 min] filter step 50/50 [08:13:57 | 234.7 min] block 30: 0 extra fixed vectors, next Ritz value 0.0475, max residual 0.0e+00 [08:13:57 | 234.7 min] P_20^1 c_5 c_4 = 14 (next 0.0475, 14 from seeds, 55 s) [08:21:32 | 242.3 min] seeds verified so far: 20 (candidates looked at: 154) [08:36:08 | 256.9 min] seeds verified so far: 40 (candidates looked at: 334) [08:55:33 | 276.3 min] seeding done: 42 fixed vectors; random block of 30 on the complement [08:58:50 | 279.6 min] filter step 5/50 [09:02:02 | 282.8 min] filter step 10/50 [09:05:14 | 286.0 min] filter step 15/50 [09:08:26 | 289.2 min] filter step 20/50 [09:11:40 | 292.4 min] filter step 25/50 [09:14:53 | 295.7 min] filter step 30/50 [09:18:04 | 298.9 min] filter step 35/50 [09:21:16 | 302.1 min] filter step 40/50 [09:24:29 | 305.3 min] filter step 45/50 [09:27:43 | 308.5 min] filter step 50/50 [09:28:25 | 309.2 min] block 30: 0 extra fixed vectors, next Ritz value 0.0492, max residual 0.0e+00 [09:28:25 | 309.2 min] P_20^1 c_5 c_5 = 42 (next 0.0492, 42 from seeds, 4468 s) [09:28:25 | 309.2 min] P_20^1 c_5 done: c = [1, 2, 5, 14, 42] [09:28:25 | 309.2 min] all jobs done.