#OPTIONS -v -o opt -s1 glucose21_simp 2013-08-16 23:26:27 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-001.txt File = data/polarium-001.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((5,4), (4,4), (3,4), (2,4), (1,4), (0,4), (0,3), (0,2), (1,2), (2,2), (3,2), (4,2), (5,2)) Size = 13 + + +--+--+ + + | | + . * . * . + | | + . * . * . + | | + . * . * . + | | + . * . * . + | | + . * . * . + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.27 MEM 2353004 MAXMEM 2354084 STALE 0 2013-08-16 23:26:28 2013-08-16 23:26:28 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-002.txt File = data/polarium-002.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 7 BEGIN_solution = 1 Solution = List((5,4), (6,4), (7,4), (7,3), (7,2), (6,2), (5,2), (5,3), (4,3), (3,3), (2,3), (1,3)) Size = 12 + + + + + + + + . . * . . + | + . . * . . + | + . . * . . + | + . . * . . + | + . *--* * . + | | + . * . * . + | | + . *--*--* . + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.73 MEM 2347968 MAXMEM 2360132 STALE 0 2013-08-16 23:26:30 2013-08-16 23:26:30 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-003.txt File = data/polarium-003.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 7 BEGIN_solution = 1 Solution = List((5,4), (6,4), (7,4), (8,4), (8,3), (8,2), (7,2), (6,2), (5,2), (5,3), (4,3), (3,3), (2,3), (1,3)) Size = 14 + + + + + + + + . . * . . + | + . . * . . + | + . . * . . + | + . . * . . + | + . *--* * . + | | + . * . * . + | | + . * . * . + | | + + +--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.75 MEM 2346428 MAXMEM 2358564 STALE 0 2013-08-16 23:26:32 2013-08-16 23:26:32 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-004.txt File = data/polarium-004.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 7 BEGIN_solution = 1 Solution = List((8,4), (8,3), (7,3), (7,4), (6,4), (5,4), (5,3), (5,2), (4,2), (3,2), (2,2), (1,2), (1,3), (1,4), (2,4), (3,4), (4,4)) Size = 17 + + + + + + + + . *--*--* . + | | + . * . * . + | | + . * . * . + | | + . * . * . + | + . *--*--* . + | + . . . * . + | + . . *--* . + | + . . *--* . + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.92 MEM 0 MAXMEM 2358268 STALE 0 2013-08-16 23:26:34 2013-08-16 23:26:34 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-005.txt File = data/polarium-005.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 9 BEGIN_solution = 1 Solution = List((4,5), (4,6), (3,6), (2,6), (2,5), (2,4), (2,3), (1,3), (1,4), (0,4), (0,3), (0,2), (1,2), (2,2), (3,2), (3,3), (3,4), (4,4), (5,4), (5,3), (5,2), (4,2), (4,3)) Size = 23 + + +--+--+ + + + + | | + * . .--. * * * + | | + * . .--.--.--. * + | | + * .--.--. * . * + | | + * .--. . .--. * + | | + * .--.--. * * * + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 7.77 MEM 2362484 MAXMEM 2362484 STALE 0 2013-08-16 23:26:41 2013-08-16 23:26:41 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-006.txt File = data/polarium-006.txt Solver = glucose21_simp Options = opt Rows = 6 Cols = 6 BEGIN_solution = 1 Solution = List((3,1), (2,1), (1,1), (1,2), (2,2), (3,2), (4,2), (4,1)) Size = 8 + + + + + + + *--* . . + | | + * * . . + | | + . . * * + | + .--. * * + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 1.74 MEM 2344756 MAXMEM 2344756 STALE 0 2013-08-16 23:26:42 2013-08-16 23:26:42 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-007.txt File = data/polarium-007.txt Solver = glucose21_simp Options = opt Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((6,3), (6,2), (5,2), (5,3), (4,3), (3,3), (2,3), (1,3), (1,4), (2,4), (2,5), (3,5)) Size = 12 + + + + + + + + + . . *--* . . + | | + . . * *--* . + | | + . . * . * . + | + . . * . . . + | + . *--* . . . + | + . *--* . . . + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.78 MEM 2357236 MAXMEM 2359000 STALE 0 2013-08-16 23:26:44 2013-08-16 23:26:44 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-008.txt File = data/polarium-008.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (5,2), (4,2), (4,3), (3,3), (2,3), (1,3), (1,4), (1,5), (1,6), (2,6), (3,6), (4,6), (5,6), (5,5), (4,5)) Size = 16 + + + + + + + + + + . . *--*--*--* . + | | + . . * . . * . + | | + . . * . . * . + | | + . *--* . * * . + | | | + . *--* . *--* . + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.75 MEM 6172 MAXMEM 2359088 STALE 0 2013-08-16 23:26:46 2013-08-16 23:26:46 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-009.txt File = data/polarium-009.txt Solver = glucose21_simp Options = opt Rows = 5 Cols = 9 BEGIN_solution = 1 Solution = List((1,3), (1,2), (1,1), (2,1), (2,2), (3,2), (3,3), (3,4), (3,5), (3,6), (2,6), (2,7), (1,7), (1,6), (1,5)) Size = 15 + + + + + + + + + + .--.--. * .--.--. + | | + .--. * * * .--. + | | + . *--*--*--*--* . + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.00 MEM 0 MAXMEM 2359728 STALE 0 2013-08-16 23:26:50 2013-08-16 23:26:50 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-010.txt File = data/polarium-010.txt Solver = glucose21_simp Options = opt Rows = 6 Cols = 8 BEGIN_solution = 1 Solution = List((3,5), (2,5), (1,5), (1,4), (2,4), (2,3), (1,3), (1,2), (2,2), (3,2), (4,2), (4,3), (4,4), (4,5)) Size = 14 + + + + + + + + + * .--. .--. * + | | | | + * . .--. . * + | | + . * . . * . + | + . *--*--*--* . + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.55 MEM 2348036 MAXMEM 2359140 STALE 0 2013-08-16 23:26:52 2013-08-16 23:26:52 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-011.txt File = data/polarium-011.txt Solver = glucose21_simp Options = opt Rows = 6 Cols = 6 BEGIN_solution = 1 Solution = List((3,2), (2,2), (1,2), (1,3), (2,3), (3,3), (4,3), (4,2)) Size = 8 + + + + + + + . *--* . + | | + * . . * + | | + * . . * + | + . *--* . + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 1.75 MEM 2346260 MAXMEM 2350376 STALE 0 2013-08-16 23:26:53 2013-08-16 23:26:53 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-012.txt File = data/polarium-012.txt Solver = glucose21_simp Options = opt Rows = 6 Cols = 9 BEGIN_solution = 1 Solution = List((1,3), (1,2), (2,2), (3,2), (4,2), (4,3), (4,4), (3,4), (2,4), (1,4), (1,5), (1,6), (2,6), (3,6), (4,6), (4,5)) Size = 16 + + + + + + + + + + * .--. .--.--. * + | | | + * . * . * . * + | | | + * . * . * . * + | | | + * .--.--. .--. * + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.54 MEM 2346020 MAXMEM 2358428 STALE 0 2013-08-16 23:26:55 2013-08-16 23:26:55 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-013.txt File = data/polarium-013.txt Solver = glucose21_simp Options = opt Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((6,5), (5,5), (4,5), (3,5), (2,5), (1,5), (0,5), (0,4), (0,3), (1,3), (2,3), (3,3), (4,3), (5,3), (6,3), (7,3), (7,2), (7,1), (6,1), (5,1), (4,1), (3,1), (2,1), (1,1)) Size = 24 + + + +--+--+ + + | | + * . * . * . + | | | + * . * . * . + | | | + . * . * . * + | | | + . * . * . * + | | | + * . * . * . + | | | + * . * . * . + | | + +--+--+ + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.18 MEM 2357220 MAXMEM 2360376 STALE 0 2013-08-16 23:26:57 2013-08-16 23:26:57 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-014.txt File = data/polarium-014.txt Solver = glucose21_simp Options = opt Rows = 5 Cols = 7 BEGIN_solution = 1 Solution = List((1,5), (2,5), (2,4), (3,4), (3,3), (3,2), (2,2), (2,1), (1,1)) Size = 9 + + + + + + + + * . . . * + | | + .--. * .--. + | | + * .--.--. * + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 1.76 MEM 2345616 MAXMEM 2356456 STALE 0 2013-08-16 23:26:59 2013-08-16 23:26:59 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-015.txt File = data/polarium-015.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((3,4), (2,4), (2,3), (1,3), (1,4), (0,4), (0,3), (0,2), (1,2), (2,2), (3,2), (4,2), (5,2), (5,3), (4,3), (4,4), (5,4)) Size = 17 + + +--+--+ + + | | + . * *--* . + | | + * . .--. * + | | + * . * . * + | + * . .--. * + | | | + . *--* * . + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.79 MEM 2356372 MAXMEM 2359576 STALE 0 2013-08-16 23:27:01 2013-08-16 23:27:01 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-016.txt File = data/polarium-016.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((3,1), (3,0), (4,0), (5,0), (6,0), (6,1), (6,2), (6,3), (6,4), (6,5), (5,5), (4,5), (3,5), (2,5), (1,5)) Size = 15 + + + + + + + + . . . . * + | + * * * * . + | +--* . . . * + | | + * * * * . + | | + . . . . * + | | +--+--+--+--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 4.15 MEM 2356964 MAXMEM 2359856 STALE 0 2013-08-16 23:27:04 2013-08-16 23:27:04 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-017.txt File = data/polarium-017.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((5,1), (5,2), (4,2), (3,2), (2,2), (1,2), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (1,5), (1,4), (2,4), (3,4), (4,4), (5,4), (5,5)) Size = 19 + +--+--+--+--+ + | | + .--. * .--. + | | + * . * . * + | | + . * . * . + | | + * . * . * + | | + .--. * .--. + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.80 MEM 2359376 MAXMEM 2359376 STALE 0 2013-08-16 23:27:06 2013-08-16 23:27:06 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-018.txt File = data/polarium-018.txt Solver = glucose21_simp Options = opt Rows = 5 Cols = 9 BEGIN_solution = 1 Solution = List((1,1), (1,2), (2,2), (2,3), (3,3), (3,4), (3,5), (2,5), (2,6), (1,6), (1,7)) Size = 11 + + + + + + + + + + *--* . . . *--* + | | + * .--. * .--. * + | | + * * .--.--. * * + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.26 MEM 0 MAXMEM 2350084 STALE 0 2013-08-16 23:27:08 2013-08-16 23:27:08 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-019.txt File = data/polarium-019.txt Solver = glucose21_simp Options = opt Rows = 8 Cols = 5 BEGIN_solution = 1 Solution = List((2,1), (1,1), (0,1), (0,2), (0,3), (1,3), (2,3), (3,3), (4,3), (4,2), (5,2), (6,2)) Size = 12 + +--+--+ + | | + * . * + | | + . * . + | + . . * + | + * .--. + | + . * . + | + * . * + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.06 MEM 2347300 MAXMEM 2360320 STALE 0 2013-08-16 23:27:09 2013-08-16 23:27:09 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-020.txt File = data/polarium-020.txt Solver = glucose21_simp Options = opt Rows = 6 Cols = 6 BEGIN_solution = 1 Solution = List((4,3), (4,4), (3,4), (2,4), (2,5), (1,5), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (1,2), (2,2), (3,2)) Size = 15 + +--+--+--+--+ | | + .--. * * + | | + . * . *--+ | | + * . * . + | + * * .--. + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 1.92 MEM 2345456 MAXMEM 2356972 STALE 0 2013-08-16 23:27:10 2013-08-16 23:27:10 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-021.txt File = data/polarium-021.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((3,6), (3,5), (3,4), (4,4), (4,3), (4,2), (3,2), (3,3), (2,3), (2,4), (2,5), (1,5), (1,4), (0,4), (0,5), (0,6), (1,6), (2,6), (2,7), (3,7), (3,8), (4,8), (4,7), (4,6), (4,5), (5,5), (6,5), (7,5), (8,5), (8,4), (8,3), (7,3)) Size = 32 + + + + +--+--+ + + + | | + . . . *--* * . . + | | + . . *--*--* *--* . + | | + . *--* *--*--* *--* + | | | + . *--*--* *--*--*--* + | + . . . . * . . . + | + . . . . * . . . + | + . . * . * . . . + | | + . . *--*--* . . . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 10.81 MEM 2350780 MAXMEM 2368896 STALE 0 2013-08-16 23:27:20 2013-08-16 23:27:20 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-022.txt File = data/polarium-022.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((1,2), (1,1), (2,1), (3,1), (4,1), (4,2), (4,3), (5,3), (5,2), (5,1), (6,1), (7,1), (8,1), (8,2), (8,3), (8,4), (8,5), (8,6), (7,6), (7,5), (6,5), (5,5), (5,4), (4,4), (4,5), (3,5), (2,5), (2,6), (3,6), (3,7)) Size = 30 + + + + + + + + + + *--* . . . . . + | + * . . . *--* . + | | | + * . . . * *--* + | | + *--*--* *--* . . + | | + *--*--* *--* . . + | | + * . . . * . . + | | + * . . . *--* . + | | + +--+--+--+--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 21.98 MEM 2363632 MAXMEM 2365308 STALE 0 2013-08-16 23:27:41 2013-08-16 23:27:41 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-023.txt File = data/polarium-023.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((6,7), (6,8), (7,8), (8,8), (8,7), (7,7), (7,6), (8,6), (8,5), (8,4), (8,3), (8,2), (7,2), (7,3), (6,3), (6,4), (5,4), (5,5), (4,5), (3,5), (2,5), (2,4), (1,4), (1,3), (2,3), (2,2), (3,2), (3,1), (4,1), (4,2), (4,3), (4,4), (3,4)) Size = 33 + + + + + + + + + + + * * .--. * * * * + | | + * .--. .--. * * * + | | + .--. * . . * * * + | | | + .--.--.--. . * * * + | + * * * .--. * * * + | + * * .--. * * .--. + | | + * .--. * * .--. . + | | | | + * .--.--.--.--. .--. + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.89 MEM 2364080 MAXMEM 2365016 STALE 0 2013-08-16 23:27:46 2013-08-16 23:27:46 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-024.txt File = data/polarium-024.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,4), (8,3), (7,3), (6,3), (6,2), (5,2), (5,1), (5,0), (4,0), (3,0), (3,1), (4,1), (4,2), (4,3), (5,3), (5,4), (6,4), (6,5), (5,5), (5,6), (4,6), (3,6), (3,5), (2,5), (1,5), (1,6), (1,7), (2,7), (3,7), (3,8)) Size = 30 + + + + + + + + + + + . . . . *--*--* . + | | + . . . . * . * . + | | +--* . . . *--* *--* + | | | + *--*--* . . * . . + | | | +--*--* *--* *--* . . + | | | + . *--* *--* . . . + | + . . * . . . . . + | + . . *--* . . . . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 6.78 MEM 2366068 MAXMEM 2370396 STALE 0 2013-08-16 23:27:51 2013-08-16 23:27:51 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-025.txt File = data/polarium-025.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((4,6), (4,5), (5,5), (5,4), (4,4), (3,4), (3,3), (3,2), (4,2), (4,1), (5,1), (5,0), (4,0), (3,0), (2,0), (2,1), (2,2), (1,2), (1,3), (1,4), (2,4), (2,5), (1,5), (1,6), (1,7), (2,7), (2,8), (2,9), (3,9), (4,9), (4,8), (5,8)) Size = 32 + + + + + + + + + + + * .--.--. .--.--. * + | | | | +--.--. * .--. * .--.--+ | | + . *--*--* . . . . + | | | | + .--. * . .--. * .--+ | | | | | +--* . . *--* . . * + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 4.89 MEM 2355952 MAXMEM 2359040 STALE 0 2013-08-16 23:27:55 2013-08-16 23:27:55 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-026.txt File = data/polarium-026.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,8), (9,8), (9,7), (9,6), (8,6), (8,5), (8,4), (7,4), (7,3), (7,2), (8,2), (8,1), (8,0), (7,0), (6,0), (6,1), (6,2), (5,2), (5,3), (5,4), (6,4), (6,5), (5,5), (5,6), (4,6), (4,5), (4,4), (4,3), (4,2), (3,2), (2,2), (1,2), (1,3), (1,4), (1,5), (1,6), (1,7), (2,7), (3,7), (4,7), (5,7), (6,7), (6,8)) Size = 43 + + + + + + + + + + + . *--*--*--*--*--* . + | | + . * . . . . * . + | | + . * . . . . * . + | | + . *--*--*--*--* * . + | | + * .--.--. .--. . * + | | | | +--.--. * .--. * .--. + | + . *--*--* . . . . + | | | +--.--. * .--.--. * . + | | + + + + + + +--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 24.70 MEM 2350696 MAXMEM 2370116 STALE 0 2013-08-16 23:28:19 2013-08-16 23:28:19 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-027.txt File = data/polarium-027.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((5,5), (5,6), (4,6), (4,7), (4,8), (3,8), (3,7), (2,7), (2,8), (1,8), (1,7), (1,6), (1,5), (1,4), (2,4), (2,5), (3,5), (3,4), (4,4), (4,3), (4,2), (3,2), (3,3), (2,3), (1,3), (1,2), (2,2), (2,1), (3,1), (3,0), (4,0), (5,0), (5,1), (6,1), (7,1), (8,1), (9,1), (9,2), (9,3), (8,3), (8,4), (8,5), (8,6), (8,7)) Size = 44 + + + + + + + + + + + * .--. .--.--.--.--. + | | | | + *--* * *--* . *--* + | | | | +--* *--* *--* . *--* + | | | | + * .--.--. * .--.--. + | | +--* . . . *--* . . + | + * . . . . . . . + | + * . . . . . . . + | + * . *--*--*--*--* . + | | + +--+--+ + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 181.15 MEM 2386164 MAXMEM 2393436 STALE 0 2013-08-16 23:31:19 2013-08-16 23:31:19 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-028.txt File = data/polarium-028.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,7), (1,7), (1,8), (1,9), (2,9), (3,9), (3,8), (4,8), (5,8), (6,8), (6,7), (6,6), (6,5), (6,4), (6,3), (6,2), (6,1), (6,0), (5,0), (4,0), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (1,6), (1,5), (2,5), (3,5), (3,6), (4,6), (4,5), (4,4), (4,3), (4,2), (3,2), (2,2), (2,3)) Size = 43 +--+--+--+--+--+--+ + + + | | + * * * * .--. .--.--+ | | | | + * .--. * . * . * + | | | | + * . * * .--. * .--+ | | | | + * .--.--.--.--. * . + | | + * * * * * * * . + | | +--+--+--+--+--+--+--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.15 MEM 2356676 MAXMEM 2357972 STALE 0 2013-08-16 23:31:21 2013-08-16 23:31:21 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-029.txt File = data/polarium-029.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((4,1), (3,1), (3,2), (3,3), (2,3), (2,4), (2,5), (1,5), (1,6), (1,7), (1,8), (2,8), (3,8), (4,8), (4,9), (5,9), (6,9), (6,8), (6,7), (6,6), (6,5), (5,5), (4,5)) Size = 23 + + + + + + + + + + + * * * * .--.--.--. + | | + * * .--.--. * * . + | | + .--.--. * * * * . + | | + . * * * . * * .--+ | | + . . . . * . . . + | | + + + + + +--+--+--+--+ END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.44 MEM 2357856 MAXMEM 2358520 STALE 0 2013-08-16 23:31:24 2013-08-16 23:31:24 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-030.txt File = data/polarium-030.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,1), (8,0), (7,0), (6,0), (5,0), (4,0), (3,0), (2,0), (2,1), (1,1), (1,2), (2,2), (3,2), (4,2), (5,2), (5,3), (6,3), (6,4), (7,4), (7,5), (7,6), (7,7), (6,7), (6,8), (5,8), (5,9), (6,9), (7,9), (8,9), (8,8), (8,7), (8,6), (8,5), (9,5), (9,4), (9,3), (8,3), (7,3), (7,2), (6,2)) Size = 40 + + + + + + + + + + + *--* . . . . . . + | | +--* * . . . . . . + | | + . * . . . . . . + | | + . * . . . . . . + | | + . *--* . . . . *--+ | | | | + . * *--* . . *--* + | | | | | + . *--* *--*--*--* . + | | | +--. * . * .--.--.--.--+ | | + + + +--+--+ + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 77.79 MEM 2363360 MAXMEM 2390212 STALE 0 2013-08-16 23:32:41 2013-08-16 23:32:41 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-031.txt File = data/polarium-031.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 9 BEGIN_solution = 1 Solution = List((8,1), (7,1), (6,1), (5,1), (4,1), (3,1), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (1,2), (1,3), (1,4), (2,4), (2,3), (3,3), (4,3), (4,4), (5,4), (5,3), (6,3), (7,3), (7,4), (7,5), (6,5), (5,5), (4,5), (3,5), (2,5), (1,5), (1,6), (0,6), (0,7), (0,8), (1,8), (2,8), (2,7), (3,7), (4,7), (5,7), (6,7), (7,7), (8,7)) Size = 45 +--+--+ + + + +--+--+ | | | | + . *--*--* *--* . + | | | | +--. * .--. . * .--+ | | | | + . * . * . * . + | | | | + . * .--. . * . + | | | | + . * .--. . * . + | | | | + . * . * . * . + | | | | + . * .--.--. * . + | | + . * * * * * . + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 16.23 MEM 0 MAXMEM 2367936 STALE 0 2013-08-16 23:32:56 2013-08-16 23:32:56 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-032.txt File = data/polarium-032.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((4,1), (3,1), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (1,2), (2,2), (2,3), (3,3), (4,3), (4,2), (5,2), (6,2), (6,3), (6,4), (6,5), (6,6), (6,7), (5,7), (4,7), (4,8), (3,8), (2,8), (2,9), (1,9), (0,9), (0,8), (0,7), (1,7), (2,7), (2,6), (3,6), (4,6)) Size = 36 +--+--+ + + + + +--+--+ | | | | + . * . . . . * . + | | | | +--* *--* . . *--* *--+ | | | | + . * . * * . * . + | | | | + * *--* . . * *--* + | | + . * . . . . * . + | | + + +--+--+--+--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.44 MEM 2361392 MAXMEM 2361392 STALE 0 2013-08-16 23:33:01 2013-08-16 23:33:01 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-033.txt File = data/polarium-033.txt Solver = glucose21_simp Options = opt Rows = 5 Cols = 9 BEGIN_solution = 1 Solution = List((1,7), (2,7), (3,7), (4,7), (4,6), (4,5), (3,5), (2,5), (1,5), (1,4), (1,3), (2,3), (3,3), (3,4), (4,4), (4,3), (4,2), (4,1), (3,1), (2,1), (1,1)) Size = 21 + + + + + + + + + + . * .--.--. * . + | | | | + * . * . * . * + | | | | + . * .--. . * . + | | | | + +--+--+--+ +--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.92 MEM 2356196 MAXMEM 2360396 STALE 0 2013-08-16 23:33:03 2013-08-16 23:33:03 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-034.txt File = data/polarium-034.txt Solver = glucose21_simp Options = opt Rows = 6 Cols = 6 BEGIN_solution = 1 Solution = List((2,2), (2,3), (2,4), (1,4), (1,5), (2,5), (3,5), (3,4), (4,4), (4,3), (4,2)) Size = 11 + + + + + + + . . . *--+ | | + * .--.--. + | + . . . *--+ | + * .--.--. + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.03 MEM 2354124 MAXMEM 2354124 STALE 0 2013-08-16 23:33:04 2013-08-16 23:33:04 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-035.txt File = data/polarium-035.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((4,4), (5,4), (5,3), (5,2), (4,2), (3,2), (3,3), (3,4), (2,4), (1,4), (1,3), (1,2), (2,2)) Size = 13 + + + + + + + + * .--.--. * + | | + . * . * . + | + * .--.--. * + | + . * . * . + | | + * .--.--. * + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.27 MEM 2353492 MAXMEM 2354016 STALE 0 2013-08-16 23:33:06 2013-08-16 23:33:06 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-036.txt File = data/polarium-036.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,7), (4,7), (3,7), (2,7), (1,7), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (2,1), (3,1), (4,1), (5,1), (5,0), (6,0), (7,0), (8,0), (8,1), (8,2), (7,2), (6,2), (6,3), (7,3), (7,4), (6,4), (5,4), (5,3), (4,3), (3,3), (3,4), (3,5), (4,5), (5,5), (6,5), (6,6), (7,6), (7,5)) Size = 41 + +--+--+--+--+--+--+ + | | + * . . . . . * + | | + . * * * * * . + | | + . * .--.--. * . + | | | | + . * . * . * . + | | | | +--. * .--. . * . + | | | + . *--* * *--* . + | | | | | + * . .--. .--. * + | | +--+--+ + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 22.48 MEM 2349560 MAXMEM 2369928 STALE 0 2013-08-16 23:33:27 2013-08-16 23:33:27 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-037.txt File = data/polarium-037.txt Solver = glucose21_simp Options = opt Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((6,2), (5,2), (4,2), (4,3), (4,4), (3,4), (3,3), (3,2), (2,2), (1,2), (0,2), (0,3), (0,4), (0,5), (1,5), (2,5), (3,5), (4,5), (5,5), (6,5)) Size = 20 + + +--+--+--+ + + | | + * . * * . * + | | + . * . . * . + | | + * .--.--. . * + | | + * .--.--. . * + | | + . * . . * . + | | + * . * * . * + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.30 MEM 2361268 MAXMEM 2361268 STALE 0 2013-08-16 23:33:30 2013-08-16 23:33:30 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-038.txt File = data/polarium-038.txt Solver = glucose21_simp Options = opt Rows = 5 Cols = 10 BEGIN_solution = 1 Solution = List((1,2), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (3,7), (4,7), (4,6), (4,5), (3,5), (3,4), (4,4), (4,3), (4,2), (3,2), (2,2), (2,3), (2,4), (1,4), (1,5), (2,5), (2,6)) Size = 26 + + +--+--+--+--+--+ + + | | + . * . *--* . * . + | | | + * .--.--. .--. . * + | | + . * . *--* . * . + | | | | + + +--+--+ +--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.55 MEM 2346840 MAXMEM 2359316 STALE 0 2013-08-16 23:33:31 2013-08-16 23:33:31 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-039.txt File = data/polarium-039.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((3,3), (4,3), (5,3), (6,3), (6,4), (6,5), (6,6), (5,6), (4,6), (3,6), (3,5), (2,5), (2,4), (1,4), (0,4), (0,3), (0,2), (1,2), (2,2), (2,1), (3,1)) Size = 21 + + +--+--+ + + | | + * . * . * + | | + .--. * .--. + | | + * . * . *--+ | | + * * . * * + | | + . . * . . + | | + + + +--+--+--+ END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.41 MEM 2355524 MAXMEM 2356956 STALE 0 2013-08-16 23:33:33 2013-08-16 23:33:33 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-040.txt File = data/polarium-040.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((5,1), (4,1), (4,2), (3,2), (2,2), (2,1), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (1,5), (2,5), (2,4), (3,4), (4,4), (4,5), (5,5)) Size = 19 + +--+--+--+--+ + | | + * . . . * + | | + .--. * .--. + | | + . * . * . + | | + .--. * .--. + | | + * . . . * + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.20 MEM 2347296 MAXMEM 2360580 STALE 0 2013-08-16 23:33:36 2013-08-16 23:33:36 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-041.txt File = data/polarium-041.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 7 BEGIN_solution = 1 Solution = List((5,2), (5,1), (4,1), (3,1), (3,2), (2,2), (2,1), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (1,5), (2,5), (2,4), (3,4), (3,5), (4,5), (5,5), (5,4), (6,4), (6,3), (7,3), (8,3), (8,4)) Size = 26 + +--+--+--+--+ + | | + . * * * . + | | + *--* . *--* + | | + *--* . *--* + | | + . * * * . + | | + .--. * .--. + | + . . *--* . + | + . . * . . + | + . . *--* . + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.73 MEM 2346928 MAXMEM 2360560 STALE 0 2013-08-16 23:33:40 2013-08-16 23:33:40 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-042.txt File = data/polarium-042.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((1,6), (2,6), (2,7), (3,7), (4,7), (4,6), (4,5), (4,4), (4,3), (3,3), (3,4), (3,5), (2,5), (1,5), (1,4), (1,3), (2,3), (2,2), (3,2), (3,1), (4,1), (5,1), (5,2), (6,2), (7,2), (8,2), (8,3), (8,4), (8,5), (8,6), (8,7), (7,7), (6,7), (5,7), (5,8), (4,8), (3,8)) Size = 37 + + + + + + + + + + + * * .--.--. . * * + | | | + * .--. * . .--. * + | | | + .--. .--.--. * . . + | | | | + . * .--.--.--.--. . + | | + .--. * * * * .--. + | | + * . * * * * . * + | | + * . * * * * . * + | | + * .--.--.--.--.--. * + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 7.70 MEM 2358444 MAXMEM 2365884 STALE 0 2013-08-16 23:33:50 2013-08-16 23:33:50 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-043.txt File = data/polarium-043.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((6,7), (6,8), (7,8), (8,8), (8,7), (9,7), (9,6), (9,5), (9,4), (9,3), (9,2), (8,2), (8,1), (7,1), (6,1), (6,2), (6,3), (6,4), (5,4), (4,4), (3,4), (3,5), (3,6), (2,6), (2,7), (2,8), (1,8), (1,7), (1,6), (1,5), (0,5), (0,4), (0,3), (1,3), (2,3), (2,2), (2,1), (1,1), (1,2)) Size = 39 + + + +--+--+ + + + + | | + .--. . * .--.--.--. + | | | + .--.--. * * .--.--. + | + . . . *--*--* . . + | + . . . * . . . . + | + . . . * . . . . + | + *--*--*--* . . *--* + | | + . * * * * * * . + | | + .--. * * * * .--. + | | + + +--+--+--+--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 23.69 MEM 2363268 MAXMEM 2368228 STALE 0 2013-08-16 23:34:13 2013-08-16 23:34:13 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-044.txt File = data/polarium-044.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((6,4), (6,5), (7,5), (7,6), (7,7), (7,8), (8,8), (9,8), (9,7), (9,6), (8,6), (8,5), (8,4), (7,4), (7,3), (8,3), (8,2), (7,2), (6,2), (5,2), (5,3), (5,4), (5,5), (5,6), (6,6), (6,7), (6,8), (5,8), (4,8), (3,8), (2,8), (2,7), (3,7), (4,7), (4,6), (3,6), (3,5), (2,5), (1,5), (1,4), (1,3), (2,3), (3,3), (3,2), (4,2), (4,1), (3,1), (2,1)) Size = 48 + + + + + + + + + + + * * .--.--. * * * + | | + * . * . * . *--* + | | | | | + * *--* . *--* * * + | | | | | + *--* . . . *--* * + | + * .--.--.--.--. * . + | | | + * . * .--. .--.--. + | | + * . .--. .--.--.--. + | | | | + * .--. .--.--. * . + | | + + + + + + +--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 477.33 MEM 2395232 MAXMEM 2418404 STALE 0 2013-08-16 23:42:10 2013-08-16 23:42:10 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-045.txt File = data/polarium-045.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((2,5), (3,5), (3,6), (3,7), (2,7), (1,7), (1,6), (1,5), (0,5), (0,4), (0,3), (1,3), (1,2), (1,1), (2,1), (3,1), (3,2), (2,2), (2,3), (3,3), (4,3), (5,3), (5,2), (6,2), (6,3), (6,4), (7,4), (7,5), (8,5), (8,4), (8,3), (9,3), (9,4), (9,5), (9,6), (8,6), (7,6), (7,7), (8,7), (8,8), (7,8), (6,8), (6,7), (5,7), (5,6), (6,6), (6,5), (5,5), (4,5), (4,4)) Size = 50 + + + +--+--+ + + + + | | + .--.--. * .--.--. * + | | + . .--. * . * . * + | | | | | + .--. . * .--.--. * + | + * * . .--. * * * + | | + * .--. * . .--. * + | | | | + * .--.--. .--. .--. + | | + * * * .--. .--. . + | | | | + * * .--.--. . .--. + | | + + + +--+--+--+ + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 131.90 MEM 2370980 MAXMEM 2378712 STALE 0 2013-08-16 23:44:21 2013-08-16 23:44:21 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-046.txt File = data/polarium-046.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,4), (5,5), (6,5), (7,5), (7,4), (8,4), (8,3), (8,2), (8,1), (7,1), (7,2), (6,2), (5,2), (5,1), (4,1), (3,1), (3,2), (2,2), (2,1), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (2,6), (3,6), (3,7), (4,7), (5,7), (5,8), (6,8), (7,8), (7,7)) Size = 38 + +--+--+--+--+--+--+ + | | + . * * * * * . + | | + *--* . . . *--* + | | + *--* . . . *--* + | | + . * * * * * . + | | + .--. * .--. * .--+ | | | + . * . . * . . + | | | + .--. * .--. * .--+ | | + +--+--+--+ + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 7.30 MEM 0 MAXMEM 2363080 STALE 0 2013-08-16 23:44:27 2013-08-16 23:44:27 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-047.txt File = data/polarium-047.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((1,8), (1,7), (2,7), (3,7), (3,8), (4,8), (4,9), (5,9), (6,9), (6,8), (6,7), (5,7), (5,6), (4,6), (4,5), (3,5), (2,5), (2,4), (3,4), (4,4), (4,3), (5,3), (5,2), (4,2), (4,1), (3,1), (3,2), (2,2), (1,2), (1,1)) Size = 30 + + + + + + + + + + + *--* . . . . *--* + | | + * . * .--. * . * + | | | | + .--. * . . * .--. + | | | | + .--. .--. .--. * .--+ | | | | + * .--. * * .--. * + | | + + + + + + + +--+--+ END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 4.75 MEM 2357932 MAXMEM 2360360 STALE 0 2013-08-16 23:44:31 2013-08-16 23:44:31 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-048.txt File = data/polarium-048.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,5), (5,4), (5,3), (5,2), (5,1), (6,1), (7,1), (7,0), (6,0), (5,0), (4,0), (4,1), (4,2), (3,2), (2,2), (1,2), (1,3), (0,3), (0,4), (0,5), (0,6), (1,6), (1,5), (1,4), (2,4), (3,4), (4,4), (4,5), (4,6), (4,7), (5,7), (6,7), (7,7)) Size = 33 + + + +--+--+--+ + + | | + * .--. .--.--. * + | | + . * . * . . . + | | + . * . * . . . + | | +--.--. * .--.--.--. + | | + .--.--.--.--. * . + | | | + . * * * * * . + | | | +--* . . . . . * + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 22.19 MEM 2367192 MAXMEM 2369912 STALE 0 2013-08-16 23:44:52 2013-08-16 23:44:52 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-049.txt File = data/polarium-049.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((1,2), (0,2), (0,3), (0,4), (1,4), (1,3), (2,3), (2,4), (3,4), (3,3), (3,2), (4,2), (4,1), (5,1), (5,2), (5,3), (6,3), (7,3), (7,2), (8,2), (9,2), (9,3), (9,4), (9,5), (8,5), (8,4), (7,4), (6,4), (5,4), (5,5), (6,5), (7,5), (7,6), (8,6), (8,7), (8,8), (8,9), (7,9), (6,9), (5,9), (4,9), (4,8), (4,7), (4,6)) Size = 44 + + +--+--+ + + + + + | | + . * *--* . . . . + | + . . *--* . . . . + | + . *--*--* . . . . + | + .--. * * * .--.--.--+ | | + *--*--* *--* . . . + | | | | + . . * * * . . . + | | | | + . *--* * *--* . . + | | | | + . * . *--* *--*--*--+ | | + + +--+--+--+ + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 16.92 MEM 2365508 MAXMEM 2369320 STALE 0 2013-08-16 23:45:08 2013-08-16 23:45:08 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-050.txt File = data/polarium-050.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((1,8), (1,7), (2,7), (3,7), (4,7), (5,7), (5,6), (5,5), (4,5), (4,4), (5,4), (5,3), (5,2), (4,2), (3,2), (2,2), (1,2), (1,1), (1,0), (2,0), (3,0), (4,0), (5,0), (6,0), (7,0), (8,0), (8,1), (7,1), (7,2), (6,2), (6,3), (6,4), (7,4), (8,4), (8,5), (7,5), (6,5), (6,6), (6,7), (7,7), (7,8), (8,8)) Size = 42 + + + + + + + + + + +--.--. * * * * .--. + | | | + . * . . . . * . + | | | + . * . . . . * . + | | | + * . * .--. * . * + | | | | | + * .--.--. .--.--. * + | + . *--*--* *--*--* . + | | | | | + .--. * . . * .--. + | | | | | +--. * * .--. * * . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 21.18 MEM 2372112 MAXMEM 2372112 STALE 0 2013-08-16 23:45:28 2013-08-16 23:45:28 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-051.txt File = data/polarium-051.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((3,5), (2,5), (2,6), (3,6), (4,6), (5,6), (5,5), (5,4), (4,4), (3,4), (2,4), (2,3), (1,3), (1,4), (1,5), (1,6)) Size = 16 + + + + + + + + + + + * * .--.--.--. * * + | + * * .--. .--. * * + | | | + . . . * * * . . + | | + . . . * . * . . + | | + . . . *--*--* . . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.03 MEM 0 MAXMEM 2359816 STALE 0 2013-08-16 23:45:30 2013-08-16 23:45:30 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-052.txt File = data/polarium-052.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((5,8), (5,7), (5,6), (4,6), (4,7), (4,8), (3,8), (2,8), (1,8), (1,7), (1,6), (2,6), (3,6), (3,5), (2,5), (2,4), (3,4), (3,3), (2,3), (1,3), (1,2), (1,1), (2,1), (3,1), (4,1), (4,2), (4,3), (5,3), (5,2), (5,1)) Size = 30 + + + + + + + + + + + *--*--* . . *--*--* + | | | | + . * . .--. . * . + | | | | | | + . * .--. .--. * . + | | + .--.--. * * .--.--. + | | + .--.--. * * .--.--. + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 30.43 MEM 2358764 MAXMEM 2364188 STALE 0 2013-08-16 23:46:00 2013-08-16 23:46:00 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-053.txt File = data/polarium-053.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,4), (2,5), (3,5), (4,5), (5,5), (5,4), (4,4), (3,4), (3,3), (3,2), (2,2), (1,2), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (3,7), (3,6)) Size = 22 + + +--+--+--+--+--+ + + | | + . * . . . . * . + | | + * . * .--. * . * + | | | + * .--.--. . .--. * + | | + . . . * * . . . + | | + . . . *--* . . . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.04 MEM 2360544 MAXMEM 2360544 STALE 0 2013-08-16 23:46:02 2013-08-16 23:46:02 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-054.txt File = data/polarium-054.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((4,5), (4,6), (5,6), (6,6), (6,5), (6,4), (5,4), (4,4), (3,4), (3,3), (3,2), (3,1), (2,1), (1,1), (1,2), (1,3), (2,3), (2,4), (2,5), (2,6), (1,6), (1,7), (1,8), (2,8), (3,8), (3,7), (3,6)) Size = 27 + + + + + + + + + + + *--*--* . . *--*--* + | | | | + . * .--.--.--. * . + | | + .--.--.--. * .--.--. + | + . . . * *--* . . + | | + . . . * . * . . + | | + + + + +--+--+ + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.97 MEM 2347100 MAXMEM 2361480 STALE 0 2013-08-16 23:46:05 2013-08-16 23:46:05 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-055.txt File = data/polarium-055.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((4,1), (5,1), (6,1), (6,2), (6,3), (5,3), (4,3), (4,2), (3,2), (2,2), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (0,5), (1,5), (1,4), (2,4), (2,5), (2,6), (2,7), (3,7), (4,7), (4,6), (5,6), (6,6), (6,7), (6,8), (5,8), (4,8)) Size = 34 +--+--+--+--+--+ + + + + | | + * * * .--. * * * + | | +--.--. * .--.--.--. * + | | + . * . . . . * . + | | + . .--. * * .--. . + | | | | + . * . * * . * . + | | | | + +--+--+ + + +--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 4.75 MEM 0 MAXMEM 2360804 STALE 0 2013-08-16 23:46:09 2013-08-16 23:46:09 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-056.txt File = data/polarium-056.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((5,7), (5,8), (4,8), (3,8), (2,8), (2,9), (1,9), (0,9), (0,8), (0,7), (1,7), (2,7), (2,6), (3,6), (3,5), (3,4), (3,3), (2,3), (2,2), (1,2), (0,2), (0,1), (0,0), (1,0), (2,0), (2,1), (3,1), (3,0), (4,0), (5,0), (5,1), (5,2)) Size = 32 +--+--+ + + + + +--+--+ | | | | + . * . . . . * . + | | | | +--* *--* . . *--* *--+ | | | | +--. * .--.--.--. * . + | | + . . . . . . . * + | | +--.--. * * * * .--. + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 17.96 MEM 2360344 MAXMEM 2362480 STALE 0 2013-08-16 23:46:26 2013-08-16 23:46:26 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-057.txt File = data/polarium-057.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,5), (1,5), (1,4), (1,3), (2,3), (3,3), (3,4), (3,5), (3,6), (4,6), (4,7), (3,7), (2,7), (1,7), (1,8), (1,9), (2,9), (3,9), (4,9), (5,9), (5,8), (5,7), (5,6), (6,6), (6,5), (6,4), (6,3), (6,2), (5,2), (5,1), (4,1), (4,2), (3,2), (3,1), (2,1), (1,1)) Size = 36 + + + + + + + + + + + . * .--.--. * .--.--+ | | | | | + * . * . * . * . + | | | | + .--. .--.--.--. . * + | | | | + .--. * * * .--. * + | | + .--. * * * .--.--.--+ | | + + +--+--+--+--+ + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 4.77 MEM 2359176 MAXMEM 2361620 STALE 0 2013-08-16 23:46:30 2013-08-16 23:46:30 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-058.txt File = data/polarium-058.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,1), (2,2), (2,3), (1,3), (1,4), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (2,6), (2,5), (2,4), (3,4), (3,3), (4,3), (4,4), (5,4), (5,3), (6,3), (6,4), (6,5), (6,6), (6,7), (6,8), (6,9), (5,9), (4,9), (4,8)) Size = 30 + + + + +--+--+--+ + + | | + * * .--. * * . * + | | + .--.--. .--.--.--. * + | + . . *--* . . . . + | + . . *--* . . . *--+ | | + . . *--* . . . . + | | + + + +--+--+--+--+--+--+ END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 25.66 MEM 0 MAXMEM 2367936 STALE 0 2013-08-16 23:46:55 2013-08-16 23:46:55 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-059.txt File = data/polarium-059.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,2), (3,2), (3,1), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (0,5), (1,5), (1,4), (2,4), (3,4), (3,3), (4,3), (4,4), (5,4), (5,3), (6,3), (6,4), (6,5), (6,6), (6,7), (5,7), (4,7), (3,7), (2,7), (1,7), (1,6), (2,6), (3,6), (3,5)) Size = 35 +--+--+--+--+--+ + + + + | | + * * * .--. .--. * + | | | | + * . * . * . . * + | | | | | +--.--. .--. .--. . * + | | + . . *--* . . * . + | | + . . *--* . . * . + | | + + + +--+--+--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.02 MEM 2357540 MAXMEM 2359912 STALE 0 2013-08-16 23:46:57 2013-08-16 23:46:57 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-060.txt File = data/polarium-060.txt Solver = glucose21_simp Options = opt Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,1), (3,1), (4,1), (5,1), (5,2), (4,2), (4,3), (4,4), (4,5), (4,6), (5,6), (5,7), (5,8), (4,8), (4,9), (3,9), (2,9), (2,8), (3,8), (3,7), (3,6), (2,6), (2,5), (1,5), (1,4), (2,4), (2,3), (3,3), (3,2)) Size = 29 + + + + + + + + + + + * * * .--. * * * + | | + * . *--* *--* . *--+ | | | | | + * *--* . . *--*--* + | | + . .--.--.--.--. * .--+ | | | | + .--. * * * .--.--. + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 19.32 MEM 2362292 MAXMEM 2365012 STALE 0 2013-08-16 23:47:15 2013-08-16 23:47:15 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-061.txt File = data/polarium-061.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,4), (8,5), (7,5), (6,5), (6,4), (6,3), (6,2), (5,2), (5,3), (5,4), (5,5), (4,5), (3,5), (3,4), (4,4), (4,3), (3,3), (2,3), (2,4), (1,4), (1,5), (2,5), (2,6), (3,6), (4,6), (5,6), (5,7), (6,7)) Size = 28 + + + + + + + + + + + . . . *--* . . . + | | + . . *--* *--* . . + | | + . . * *--* * . . + | | | | + . . *--* * * . . + | | + . *--*--*--* *--* . + | | + . *--*--*--* . * . + | + * * * * . * * * + | + . . . *--* . . . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 6.56 MEM 2366948 MAXMEM 2366948 STALE 0 2013-08-16 23:47:21 2013-08-16 23:47:21 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-062.txt File = data/polarium-062.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,1), (8,0), (7,0), (6,0), (5,0), (4,0), (3,0), (2,0), (1,0), (1,1), (1,2), (0,2), (0,3), (0,4), (1,4), (1,5), (1,6), (2,6), (2,7), (2,8), (1,8), (1,9), (2,9), (3,9), (3,8), (4,8), (4,7), (5,7), (5,8), (6,8), (7,8), (7,7), (7,6), (7,5), (7,4), (6,4), (5,4), (4,4), (4,3), (4,2), (3,2), (2,2), (2,3), (2,4), (3,4), (3,5), (3,6), (4,6), (4,5), (5,5), (5,6), (6,6)) Size = 52 + + +--+--+ + + + + + | | +--*--* . *--*--* . *--+ | | | | + * .--.--. * .--.--. + | | | | + * . * .--.--. * .--+ | | | | + * .--.--. .--. .--. + | | | | + . . . * *--* *--* + | | | | + . . . * . * . * + | | | + . . . *--*--*--*--* + | +--* . . . . . . . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 505.73 MEM 2392652 MAXMEM 2410320 STALE 0 2013-08-16 23:55:46 2013-08-16 23:55:46 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-063.txt File = data/polarium-063.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,8), (4,7), (3,7), (3,6), (4,6), (4,5), (5,5), (6,5), (6,6), (7,6), (8,6), (8,7), (9,7), (9,6), (9,5), (9,4), (9,3), (9,2), (8,2), (8,3), (8,4), (7,4), (6,4), (5,4), (4,4), (4,3), (4,2), (5,2), (5,1), (5,0), (4,0), (3,0), (3,1), (3,2), (3,3), (2,3), (2,4), (1,4), (1,5), (2,5), (2,6)) Size = 41 + + + + + + + + + + + . . . *--* . . . + | | + . . *--* *--* . . + | +--.--.--. * * .--. * + | | | + . *--*--* *--* *--* + | | | | +--*--* . * * . . . + | | + . . . * *--* . . + | | + . . . * . * . . + | | + . *--*--* . *--* . + | | + + +--+--+--+--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 13.73 MEM 2365672 MAXMEM 2368392 STALE 0 2013-08-16 23:55:58 2013-08-16 23:55:58 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-064.txt File = data/polarium-064.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((1,4), (2,4), (3,4), (4,4), (4,3), (4,2), (5,2), (5,3), (6,3), (6,4), (5,4), (5,5), (6,5), (6,6), (6,7), (6,8), (5,8), (4,8), (4,9), (5,9), (6,9), (7,9), (7,8), (8,8), (8,7), (8,6), (9,6), (9,5), (9,4), (9,3), (8,3), (8,2), (7,2), (7,1), (7,0), (6,0), (5,0), (4,0), (4,1), (3,1), (3,2), (2,2), (2,3)) Size = 43 + + + + + + + + + + + * * * . * * * * + | + * .--. . * * * * + | | + .--. * . * * * * + | | +--. .--.--. * * * .--+ | | | | + * .--. .--. * * . + | | | | | | + * * .--. .--.--.--. + | | +--*--* . . . . . *--+ | | + * .--. * * .--.--. + | | + + + +--+--+--+ + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 35.33 MEM 0 MAXMEM 2376588 STALE 0 2013-08-16 23:56:32 2013-08-16 23:56:32 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-065.txt File = data/polarium-065.txt Solver = glucose21_simp Options = opt Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((3,4), (4,4), (4,5), (5,5), (5,4), (6,4), (6,5), (7,5), (7,4), (7,3), (6,3), (6,2), (5,2), (5,3), (4,3), (4,2), (3,2), (2,2), (2,3), (2,4), (2,5), (1,5), (1,4), (1,3), (1,2)) Size = 25 + + + + + + + + + . *--*--*--* . + | + * .--.--.--. * + | + * . * . * * + | | + * .--. .--. * + | | + * .--. .--. * + | | + . *--* *--* . + | | + + + +--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 4.22 MEM 2358044 MAXMEM 2360204 STALE 0 2013-08-16 23:56:36 2013-08-16 23:56:36 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-066.txt File = data/polarium-066.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((3,4), (3,5), (4,5), (4,6), (4,7), (3,7), (3,8), (2,8), (2,7), (1,7), (1,6), (1,5), (1,4), (1,3), (1,2), (2,2), (2,1), (3,1), (3,2), (4,2), (5,2), (5,3), (6,3), (7,3), (7,4), (7,5), (8,5), (8,4), (8,3), (8,2), (9,2), (9,3), (9,4), (9,5), (9,6), (9,7), (8,7), (8,6), (7,6), (6,6), (5,6), (5,7)) Size = 42 + + + + + + + + + + + * .--.--.--.--.--. * + | | + .--. * * * * .--. + | | + .--. * .--. * .--. + | | | + * . * * .--.--. * + | + * .--. * * .--. * + | | + . . * . . * . . + | | + . . *--*--* * . . + | | + * .--.--.--. .--. * + | | + + +--+--+--+--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 8.30 MEM 2367600 MAXMEM 2368736 STALE 0 2013-08-16 23:56:43 2013-08-16 23:56:43 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-067.txt File = data/polarium-067.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((5,2), (5,1), (4,1), (4,2), (4,3), (4,4), (5,4), (6,4), (7,4), (8,4), (8,5), (9,5), (9,6), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (5,9), (5,8), (4,8), (4,7), (5,7), (5,6), (5,5), (4,5), (3,5), (2,5), (1,5), (1,4)) Size = 31 + + + + + + + + + + + . . . *--* . . . + | + . . . . * . . . + | + . . . . * . . . + | + .--.--.--. . * .--. + | | | | | + .--. * . .--.--. .--+ | | + . . . * . . . . + | | + . . . * . . . . + | | + . . . *--* . . . + | | + + + + + +--+--+--+--+ END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 9.11 MEM 2354236 MAXMEM 2371052 STALE 0 2013-08-16 23:56:51 2013-08-16 23:56:51 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-068.txt File = data/polarium-068.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((6,8), (5,8), (4,8), (3,8), (2,8), (1,8), (1,7), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (1,2), (1,1), (2,1), (3,1), (4,1), (5,1), (6,1), (6,2), (5,2), (5,3), (4,3), (3,3), (3,4), (4,4), (4,5), (3,5), (3,6), (4,6), (5,6), (5,7), (6,7), (7,7), (7,6), (7,5), (8,5), (8,4), (7,4), (7,3), (7,2)) Size = 42 + + +--+--+--+--+--+ + + | | + *--* . . . . *--* + | | + * . . . . . . * + | | + . * .--. .--. * . + | | | | | | + . * . .--. . * . + | | | | + . .--. * * .--. . + | | | | + .--. * * * * . . + | + * .--.--. .--.--. * + | | + . . . *--* . . . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 46.81 MEM 2366220 MAXMEM 2374832 STALE 0 2013-08-16 23:57:37 2013-08-16 23:57:37 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-069.txt File = data/polarium-069.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((7,7), (6,7), (6,6), (5,6), (5,5), (6,5), (6,4), (5,4), (5,3), (6,3), (6,2), (7,2), (8,2), (8,1), (8,0), (7,0), (6,0), (5,0), (5,1), (4,1), (3,1), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (1,2), (2,2), (2,3), (3,3), (3,4), (2,4), (2,5), (3,5), (3,6), (2,6), (2,7), (1,7)) Size = 39 +--+--+ + + + + + + | | + * . * * * * . + | | | + * .--. .--. .--. + | | | | | +--* . *--* *--* . + | + * . . . . . . + | +--* . *--* *--* . + | | | | | + * .--. .--. .--. + | | | + * . * * * * . + | | +--+--+ + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 27.29 MEM 2349252 MAXMEM 2368092 STALE 0 2013-08-16 23:58:03 2013-08-16 23:58:03 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-070.txt File = data/polarium-070.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,8), (8,7), (7,7), (6,7), (6,6), (7,6), (7,5), (6,5), (5,5), (5,6), (5,7), (4,7), (4,6), (3,6), (3,5), (4,5), (4,4), (5,4), (5,3), (6,3), (6,4), (7,4), (7,3), (7,2), (7,1), (8,1), (8,0), (7,0), (6,0), (6,1), (5,1), (4,1), (4,2), (3,2), (3,3), (3,4), (2,4), (2,3), (1,3), (1,2), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7)) Size = 50 + +--+--+--+--+--+--+ + + | | + *--*--* . . . * . + | | + * * .--. * * . * + | + * .--.--. .--. * * + | | | + .--. * .--. .--. * + | | | + . * .--. .--.--. * + | | | +--. * .--. . .--. * + | | | | | + .--.--.--. .--. . * + | | | +--* . . . . . *--* + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 88.86 MEM 0 MAXMEM 2375400 STALE 0 2013-08-16 23:59:31 2013-08-16 23:59:31 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-071.txt File = data/polarium-071.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,7), (7,7), (6,7), (5,7), (4,7), (4,8), (4,9), (3,9), (2,9), (2,8), (2,7), (2,6), (2,5), (3,5), (4,5), (5,5), (6,5), (7,5), (8,5), (8,4), (8,3), (8,2), (8,1), (8,0), (7,0), (6,0), (6,1), (6,2), (6,3), (5,3), (4,3), (3,3), (2,3), (1,3), (0,3), (0,2), (0,1), (1,1), (2,1), (3,1), (4,1)) Size = 41 + +--+--+ + + + + + + | | + * . * . . . . . + | | + . * . * .--.--.--.--+ | | | | + * . * . * . . . + | | | | + . * . * . * .--.--+ | | | + . . * . * . * . + | | | +--.--.--. * . * . * + | | | + . . . . * . * . + | | | +--.--.--.--.--. * . * + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 7.60 MEM 2363840 MAXMEM 2367508 STALE 0 2013-08-16 23:59:37 2013-08-16 23:59:37 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-072.txt File = data/polarium-072.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 8 BEGIN_solution = 1 Solution = List((8,5), (7,5), (6,5), (6,6), (5,6), (4,6), (3,6), (3,5), (2,5), (1,5), (1,4), (2,4), (2,3), (1,3), (1,2), (2,2), (3,2), (3,1), (4,1), (5,1), (6,1), (6,2), (7,2), (8,2), (8,3), (7,3), (7,4), (8,4)) Size = 28 + + + + + + + + + . *--* *--* . + | | | | + * . .--. . * + | | + .--. * * .--. + | | + * . . . . * + | | + . * * * * . + | | + *--* . . *--* + | | + . * *--* * . + | | | | + * .--. . . * + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 15.44 MEM 2365544 MAXMEM 2372620 STALE 0 2013-08-16 23:59:52 2013-08-16 23:59:52 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-073.txt File = data/polarium-073.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,1), (8,0), (7,0), (6,0), (5,0), (4,0), (3,0), (2,0), (1,0), (1,1), (0,1), (0,2), (0,3), (1,3), (2,3), (3,3), (4,3), (5,3), (6,3), (7,3), (8,3), (9,3), (9,4), (9,5), (9,6), (8,6), (7,6), (6,6), (5,6), (4,6), (3,6), (2,6), (1,6), (0,6), (0,7), (0,8), (1,8), (1,9), (2,9), (3,9), (4,9), (5,9), (6,9), (7,9), (8,9), (8,8)) Size = 46 + +--+--+ + + +--+--+ + | | | | +--* . * . . * . *--+ | | | | + . . * . . * . . + | | | | + * * . * * . * * + | | | | + . . * . . * . . + | | | | + . . * . . * . . + | | | | + * * . * * . * * + | | | | + . . * . . * . . + | | | | +--* . * . . * . *--+ | | + + + +--+--+--+ + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 28.42 MEM 6172 MAXMEM 2375316 STALE 0 2013-08-17 00:00:19 2013-08-17 00:00:19 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-074.txt File = data/polarium-074.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,8), (5,8), (5,9), (6,9), (7,9), (7,8), (7,7), (8,7), (9,7), (9,6), (9,5), (8,5), (8,4), (9,4), (9,3), (9,2), (8,2), (7,2), (7,1), (7,0), (6,0), (5,0), (5,1), (4,1), (4,0), (3,0), (2,0), (1,0), (1,1), (0,1), (0,2), (0,3), (1,3), (2,3), (2,4), (3,4), (3,3), (4,3), (5,3), (6,3), (6,4), (6,5), (6,6), (5,6), (4,6), (3,6), (3,5), (2,5), (2,6), (1,6), (0,6), (0,7), (0,8), (1,8)) Size = 54 + +--+--+ + + +--+--+ + | | | | +--* . * . . * . * + | | | + . . *--* *--* . . + | | | + * * .--. .--. * * + | | | +--. * . * * . * . + | | | | +--. * . * * . * .--+ | | | | + * * .--.--.--. * * + | | +--.--. * * * * .--.--+ | | + * . * .--. * . * + | | | | + + +--+--+ +--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 7.79 MEM 2352628 MAXMEM 2364652 STALE 0 2013-08-17 00:00:26 2013-08-17 00:00:26 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-075.txt File = data/polarium-075.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,8), (8,7), (7,7), (7,6), (7,5), (6,5), (6,6), (5,6), (4,6), (3,6), (3,5), (2,5), (2,6), (2,7), (1,7), (1,8), (0,8), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (1,2), (2,2), (2,3), (2,4), (3,4), (3,3), (4,3), (5,3), (6,3), (6,4), (7,4), (7,3), (7,2), (8,2), (8,1)) Size = 40 + +--+--+--+--+--+--+--+ + | | + *--* . . . . *--* + | | + * .--.--. .--.--. * + | | + . . *--* *--* . . + | | + . . * . . * . . + | | + . . * . . * . . + | | + . . *--* *--* . . + | | + * .--.--. .--.--. * + | | + *--* . . . . *--* + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 14.30 MEM 2351476 MAXMEM 2367236 STALE 0 2013-08-17 00:00:39 2013-08-17 00:00:39 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-076.txt File = data/polarium-076.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,1), (5,1), (5,0), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (9,3), (9,4), (9,5), (8,5), (8,4), (8,3), (7,3), (6,3), (5,3), (4,3), (3,3), (2,3), (1,3), (1,4), (1,5), (1,6), (2,6), (3,6), (4,6), (5,6), (6,6), (7,6), (8,6), (9,6), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (5,9), (5,8), (4,8)) Size = 42 + + + + + + + + + + + * * .--.--.--. * * + | | + * * . * * . * * + | | + . . * . . * . . + | | + . * . * * . * . + | | | | +--. * . * * . * .--+ | | | | + . . * . . * . . + | | | | + * * . * * . * * + | | | | + * * .--.--. . * * + | | | | +--+--+--+--+--+ +--+--+--+ END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 13.66 MEM 0 MAXMEM 2366800 STALE 0 2013-08-17 00:00:51 2013-08-17 00:00:51 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-077.txt File = data/polarium-077.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((3,4), (4,4), (5,4), (5,3), (5,2), (4,2), (3,2), (3,3), (2,3), (1,3), (1,2), (0,2), (0,3), (0,4), (0,5), (0,6), (1,6), (1,5), (2,5), (3,5), (3,6), (4,6), (5,6), (5,5), (6,5), (7,5), (7,6), (8,6), (8,5), (8,4), (8,3), (8,2), (7,2), (7,3), (6,3)) Size = 35 + + +--+--+--+--+ + + | | + . *--* . *--* . + | | + * * . * . * * + | | + * .--. . .--. * + | | | + . * . * . * . + | | | + * .--.--. .--. * + | + * * . * . * * + | | + . *--* . *--* . + | | + + +--+--+--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 3.71 MEM 2361692 MAXMEM 2362716 STALE 0 2013-08-17 00:00:54 2013-08-17 00:00:54 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-078.txt File = data/polarium-078.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((4,3), (4,2), (3,2), (2,2), (2,3), (1,3), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (3,0), (3,1), (4,1), (5,1), (5,2), (6,2), (6,3), (7,3), (8,3), (8,4), (8,5), (7,5), (6,5), (6,6), (5,6), (5,7), (4,7), (3,7), (3,8), (2,8), (1,8), (0,8), (0,7), (0,6), (0,5), (1,5), (2,5), (2,6), (3,6), (4,6), (4,5)) Size = 43 +--+--+--+ + +--+--+--+ | | | | + . . * . * . . + | | | | + . *--* . *--* . + | | | | +--* * . . . * *--+ | | | | + . .--. * .--. . + | | + *--* . . . *--* + | | + . *--* . *--* . + | | + . . * . * . . + | | + + + +--+--+ + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 4.21 MEM 2363152 MAXMEM 2363236 STALE 0 2013-08-17 00:00:57 2013-08-17 00:00:57 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-079.txt File = data/polarium-079.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,1), (7,1), (6,1), (6,0), (5,0), (4,0), (3,0), (3,1), (2,1), (1,1), (0,1), (0,2), (0,3), (1,3), (2,3), (3,3), (4,3), (5,3), (6,3), (7,3), (8,3), (8,4), (8,5), (8,6), (7,6), (6,6), (5,6), (4,6), (3,6), (2,6), (1,6), (1,5), (1,4), (0,4), (0,5), (0,6), (0,7), (0,8), (1,8), (2,8), (3,8), (3,9), (4,9), (5,9), (6,9), (6,8), (7,8), (8,8)) Size = 48 + +--+--+ +--+--+--+--+ + | | | | + . * . .--.--. * . + | | | | + * . * . . * . * + | | | | +--. * . * * . * .--+ | | | | + . . * . . * . . + | | | | + . . * . . * . . + | | | | +--. * . * * . * .--+ | | | | + * . * . . * . * + | | | | + . * .--.--.--. * . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 10.42 MEM 2359560 MAXMEM 2366876 STALE 0 2013-08-17 00:01:07 2013-08-17 00:01:07 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-080.txt File = data/polarium-080.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((1,8), (2,8), (3,8), (3,7), (4,7), (5,7), (6,7), (6,8), (7,8), (8,8), (9,8), (9,7), (9,6), (8,6), (8,5), (7,5), (6,5), (6,4), (7,4), (8,4), (8,3), (9,3), (9,2), (9,1), (8,1), (7,1), (6,1), (6,2), (5,2), (4,2), (3,2), (3,1), (2,1), (1,1), (0,1), (0,2), (0,3), (1,3), (1,4), (2,4), (3,4), (3,5), (2,5), (1,5), (1,6)) Size = 45 + +--+--+ + + + + + + | | + . * .--. .--. * . + | | | | + * . . * * . . * + | | | | + .--. * .--. * .--. + | | + . * . . . . * . + | | + . * . . . . * . + | | + .--. * .--. * .--. + | | | | + * . . * * . . * + | | | | + . * .--. .--. * . + | | | | + +--+--+ + + +--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 10.05 MEM 2367848 MAXMEM 2368272 STALE 0 2013-08-17 00:01:15 2013-08-17 00:01:15 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-081.txt File = data/polarium-081.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((3,6), (2,6), (2,7), (1,7), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (2,1), (2,2), (3,2), (4,2), (5,2), (6,2), (6,1), (7,1), (8,1), (8,2), (8,3), (8,4), (8,5), (8,6), (8,7), (7,7), (6,7), (6,6), (5,6)) Size = 31 + +--+--+--+--+--+--+ + | | + * . . . . . * + | | + .--. * * * .--. + | | + . * . . . * . + | + . * . . . . . + | + . * . . . * . + | | + .--. * * * .--. + | | + * . . . . . * + | | + +--+--+--+--+--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 6.23 MEM 2360684 MAXMEM 2363244 STALE 0 2013-08-17 00:01:21 2013-08-17 00:01:21 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-082.txt File = data/polarium-082.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 9 BEGIN_solution = 1 Solution = List((6,4), (6,5), (6,6), (5,6), (5,5), (4,5), (4,4), (3,4), (3,5), (2,5), (2,4), (2,3), (3,3), (4,3), (5,3), (5,2), (6,2), (6,3), (7,3), (7,2), (8,2), (8,3), (8,4), (8,5), (7,5), (7,6), (8,6), (9,6), (9,7), (9,8), (8,8), (7,8), (6,8), (5,8), (4,8), (4,7), (3,7), (2,7), (1,7), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (2,1), (3,1), (4,1)) Size = 50 + +--+--+--+--+--+--+ + | | + * . . . . . * + | | + * . *--*--* . * + | | | | + * . * *--* . * + | | | | + * . * *--* . *--+ | | | + * .--. * .--. * + | | | + * .--. .--.--. * + | | + * .--. * .--. * + | | | | + * .--.--.--. . * + | | + + + + + + +--+--+ END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 26.81 MEM 2360272 MAXMEM 2370844 STALE 0 2013-08-17 00:01:46 2013-08-17 00:01:46 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-083.txt File = data/polarium-083.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 9 BEGIN_solution = 1 Solution = List((4,7), (3,7), (2,7), (1,7), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (2,1), (3,1), (4,1), (4,0), (5,0), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (8,2), (8,3), (7,3), (7,2), (6,2), (5,2), (5,3), (6,3), (6,4), (6,5), (7,5), (8,5), (8,4), (9,4), (9,5), (9,6), (8,6), (7,6), (6,6), (5,6), (5,5), (4,5), (3,5), (2,5), (2,4), (2,3), (3,3)) Size = 50 + +--+--+--+--+--+--+ + | | + * . . . . . * + | | + * . *--*--* . * + | | | | + * . * . * . * + | | | +--* . . . * . * + | | + * .--. * .--. * + | | | | + * . .--.--. . * + | | | | + * .--. * . . * + | | | | + * .--. .--. . * + | | | | +--+--+ + +--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.79 MEM 2364232 MAXMEM 2364800 STALE 0 2013-08-17 00:01:51 2013-08-17 00:01:51 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-084.txt File = data/polarium-084.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (6,3), (6,2), (7,2), (7,1), (6,1), (5,1), (5,2), (4,2), (4,3), (4,4), (3,4), (3,3), (2,3), (1,3), (1,4), (1,5), (2,5), (3,5), (4,5), (4,6), (5,6), (5,7), (6,7), (7,7), (7,6), (6,6), (6,5), (5,5)) Size = 29 + + + + + + + + + + . . *--*--* . . + | | + . . * . * . . + | | + * * .--. . * * + | | + * .--.--. .--. * + | | + *--* * . * *--* + | | | | + . .--. * .--. . + | | | | + .--. * * * .--. + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 6.90 MEM 2360620 MAXMEM 2362660 STALE 0 2013-08-17 00:01:57 2013-08-17 00:01:57 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-085.txt File = data/polarium-085.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((2,4), (1,4), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (3,7), (4,7), (5,7), (5,8), (6,8), (7,8), (7,7), (7,6), (7,5), (6,5), (5,5), (5,4), (5,3), (6,3), (7,3), (7,2), (7,1), (7,0), (6,0), (5,0), (5,1), (4,1), (3,1), (2,1), (1,1)) Size = 33 + + + + +--+--+--+ + | | + . * * . * * . + | | | + * . . * . . * + | | + * . . . . . * + | | + * . . . . . * + | | +--. * .--.--. * .--+ | | | | + . . * . * . . + | | | | +--.--.--. * .--.--.--+ + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.02 MEM 2360196 MAXMEM 2362620 STALE 0 2013-08-17 00:02:01 2013-08-17 00:02:01 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-086.txt File = data/polarium-086.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((4,1), (3,1), (3,0), (2,0), (1,0), (1,1), (1,2), (1,3), (2,3), (3,3), (3,4), (3,5), (2,5), (1,5), (1,6), (1,7), (1,8), (2,8), (3,8), (3,7), (4,7), (4,8), (5,8), (6,8), (6,7), (6,6), (5,6), (5,5), (6,5), (7,5), (7,4), (7,3), (6,3), (5,3), (5,2), (6,2), (6,1)) Size = 37 + + + + + + + + + +--.--.--. * .--.--.--+ | | | | + . . * . * . . + | | | | +--. * .--.--. * .--+ | | + * . . . . . *--+ | + . *--* . *--* . + | | | | | + .--. . * . .--.--+ | | + . . *--*--* . . + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.07 MEM 0 MAXMEM 2362876 STALE 0 2013-08-17 00:02:05 2013-08-17 00:02:05 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-087.txt File = data/polarium-087.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((1,1), (1,2), (1,3), (2,3), (3,3), (3,4), (3,5), (2,5), (1,5), (1,6), (1,7), (1,8), (2,8), (3,8), (3,7), (4,7), (5,7), (5,8), (6,8), (7,8), (7,7), (7,6), (7,5), (6,5), (5,5), (5,4), (5,3), (6,3), (7,3), (7,2), (7,1), (7,0), (6,0), (5,0), (5,1), (4,1), (3,1)) Size = 37 + + + + + + + + + + .--.--. * .--.--.--+ | | | + . . * . * . . + | | | + . * .--.--. * .--+ | | + * . . . . . * + | | +--. * .--.--. * .--+ | | | | + . . * . * . . + | | | | +--.--.--. * .--.--.--+ + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.89 MEM 2360328 MAXMEM 2363420 STALE 0 2013-08-17 00:02:10 2013-08-17 00:02:10 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-088.txt File = data/polarium-088.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,5), (5,6), (5,7), (4,7), (3,7), (3,6), (3,5), (2,5), (1,5), (1,4), (1,3), (2,3), (3,3), (3,2), (3,1), (4,1), (4,0), (3,0), (2,0), (1,0), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (1,8), (2,8), (3,8), (4,8), (5,8), (6,8), (6,7), (7,7), (7,6), (7,5), (8,5), (8,4), (8,3), (7,3), (7,2), (7,1), (6,1), (5,1), (5,2), (5,3)) Size = 49 + +--+--+--+--+--+--+ + | | +--. * .--.--. * .--+ | | | | + . . * . * . . + | | | | + .--.--. * .--.--. + | | | | +--. * * * * * . + | | + .--.--. * .--.--. + | | + . * * * * * .--+ | | + .--.--. * .--.--. + | | + + + +--+--+ + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 6.55 MEM 2361904 MAXMEM 2364368 STALE 0 2013-08-17 00:02:16 2013-08-17 00:02:16 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-089.txt File = data/polarium-089.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((1,5), (0,5), (0,6), (0,7), (1,7), (1,6), (2,6), (2,5), (2,4), (2,3), (1,3), (0,3), (0,2), (0,1), (1,1), (1,2), (2,2), (3,2), (4,2), (4,3), (4,4), (4,5), (4,6), (5,6), (6,6), (7,6), (7,7), (8,7), (8,6), (8,5), (7,5), (6,5), (6,4), (6,3), (6,2), (7,2), (7,3), (8,3), (8,2), (8,1), (7,1)) Size = 41 + +--+--+ + +--+--+ + | | | | + .--. . * . .--. + | | | + . * *--*--*--* . + | + . * . . . . . + | + . *--*--*--*--* . + | + . . . . . * . + | + . *--*--*--* * . + | | | + . .--. * . .--. + | | | | + +--+--+ + +--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 6.68 MEM 2354944 MAXMEM 2364376 STALE 0 2013-08-17 00:02:21 2013-08-17 00:02:21 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-090.txt File = data/polarium-090.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((2,6), (1,6), (1,5), (2,5), (3,5), (3,4), (2,4), (1,4), (1,3), (2,3), (3,3), (3,2), (4,2), (5,2), (5,3), (5,4), (5,5), (6,5), (6,6), (7,6), (7,5), (7,4), (6,4), (6,3), (7,3), (8,3), (8,2), (8,1), (8,0), (7,0), (6,0), (6,1), (5,1), (5,0), (4,0), (3,0), (3,1), (2,1)) Size = 38 + + + + + + + + + + . . *--* *--* . + | | | | + . * . . . . * + | | | | +--* *--* *--* . . + | | + . * . . . . . + | | +--* *--*--*--* . . + | | +--. * .--. .--. * + | | | | + . . * *--*--* . + | | +--+--+--+ + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 27.31 MEM 2360932 MAXMEM 2368732 STALE 0 2013-08-17 00:02:48 2013-08-17 00:02:48 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-091.txt File = data/polarium-091.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((3,1), (3,0), (2,0), (1,0), (1,1), (1,2), (2,2), (2,3), (3,3), (4,3), (4,2), (5,2), (5,1), (6,1), (7,1), (7,2), (8,2), (8,3), (8,4), (7,4), (6,4), (6,5), (7,5), (8,5), (8,6), (8,7), (7,7), (7,8), (6,8), (5,8), (5,7), (4,7), (4,6), (3,6), (2,6), (2,7), (1,7), (1,8), (1,9), (2,9), (3,9), (3,8)) Size = 42 + + + + + + + + + + +--*--* . . . . *--*--+ | | | | + * .--. * * .--. * + | | | | +--* . * . . * . *--+ | | + * .--. * * .--. * + | | + *--* . . . . *--* + | | + . * * .--. * * . + | | | | + .--. * . . * .--. + | | | | + * .--.--. .--.--. * + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.15 MEM 2362952 MAXMEM 2365616 STALE 0 2013-08-17 00:02:52 2013-08-17 00:02:52 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-092.txt File = data/polarium-092.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 9 BEGIN_solution = 1 Solution = List((6,7), (7,7), (8,7), (9,7), (9,6), (9,5), (8,5), (7,5), (6,5), (5,5), (5,6), (4,6), (4,5), (3,5), (2,5), (2,4), (1,4), (1,3), (1,2), (2,2), (2,3), (3,3), (4,3), (4,4), (5,4), (5,3), (6,3), (7,3), (8,3), (9,3), (9,2), (9,1), (9,0), (8,0), (7,0), (7,1), (6,1), (6,0), (5,0), (4,0), (3,0), (2,0), (2,1), (3,1), (4,1), (4,2), (5,2)) Size = 47 + + + + + + + + + + * .--.--. * * * + | | +--. .--. .--. * * + | | | | + . * . * . * * + | | | | + .--. .--. .--. * + | | | | + * . .--. .--. * + | | | +--* . * . * . * + | | | | +--* . * . * . * + | | | | + * * . * . * . + | | | | +--+--+--+ + +--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 6.64 MEM 2361484 MAXMEM 2364824 STALE 0 2013-08-17 00:02:57 2013-08-17 00:02:57 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-093.txt File = data/polarium-093.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,2), (7,2), (6,2), (6,3), (5,3), (5,4), (6,4), (6,5), (5,5), (4,5), (4,4), (4,3), (4,2), (3,2), (2,2), (2,1), (1,1), (1,2), (0,2), (0,3), (0,4), (1,4), (2,4), (2,5), (1,5), (0,5), (0,6), (0,7), (1,7), (1,8), (2,8), (2,7), (3,7), (4,7), (4,6), (5,6), (6,6), (6,7), (7,7), (8,7), (9,7), (9,6), (9,5), (8,5), (8,4)) Size = 45 + + +--+--+ +--+--+ + + | | | | + *--* . * * . *--* + | | | | + *--* . *--* . *--* + | | + . * . . . . * . + | | + * .--.--.--. .--. * + | | + * * .--. . . * * + | | | | + * .--. .--. .--. * + | | + . * . . . . * . + | | + * . * .--. * . * + | | + + + + + +--+--+ + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 12.58 MEM 2366496 MAXMEM 2368500 STALE 0 2013-08-17 00:03:09 2013-08-17 00:03:09 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-094.txt File = data/polarium-094.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((1,1), (2,1), (2,2), (2,3), (3,3), (3,2), (4,2), (5,2), (5,3), (6,3), (6,2), (7,2), (7,3), (7,4), (7,5), (6,5), (5,5), (5,4), (4,4), (4,5), (3,5), (3,4), (2,4), (2,5), (2,6), (1,6), (0,6), (0,7), (0,8), (0,9), (1,9), (2,9), (3,9), (4,9), (5,9), (6,9), (7,9), (8,9), (8,8), (8,7), (7,7), (6,7), (5,7), (4,7)) Size = 44 + + + + + + +--+--+--+ | | + * . . . . * . . + | | | + *--*--* *--*--* . . + | | | + * .--. .--. * * * + | | | + * . * .--. * . * + | | | | + * .--. .--. * . * + | | | | + * .--. * . * . * + | | | | + * .--.--.--. * . * + | | + * * * * * * .--.--+ + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.39 MEM 2363956 MAXMEM 2366256 STALE 0 2013-08-17 00:03:13 2013-08-17 00:03:13 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-095.txt File = data/polarium-095.txt Solver = glucose21_simp Options = opt Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((5,2), (6,2), (6,3), (7,3), (7,2), (7,1), (7,0), (6,0), (5,0), (4,0), (4,1), (4,2), (3,2), (2,2), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (1,4), (1,5), (2,5), (3,5), (3,6), (3,7), (4,7), (5,7), (5,6), (5,5), (4,5)) Size = 33 +--+--+--+--+ + + + | | + . . . *--* . + | | +--*--* . . * . + | | + * . * * .--.--+ | | +--.--. * * . * + | | | + . * . . *--*--+ | | + . *--* . . . + | | +--+--+--+ + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 2.91 MEM 0 MAXMEM 2356160 STALE 0 2013-08-17 00:03:15 2013-08-17 00:03:15 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-096.txt File = data/polarium-096.txt Solver = glucose21_simp Options = opt Rows = 9 Cols = 10 BEGIN_solution = 1 Solution = List((2,2), (3,2), (3,3), (3,4), (4,4), (5,4), (6,4), (6,5), (6,6), (5,6), (4,6), (3,6), (2,6), (1,6), (1,7), (1,8), (2,8), (3,8), (4,8), (5,8), (6,8), (6,7), (7,7), (7,6), (7,5), (8,5), (8,4), (8,3), (7,3), (7,2), (7,1), (7,0), (6,0), (5,0), (4,0), (4,1), (3,1), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (0,5), (1,5), (1,4), (2,4)) Size = 49 +--+--+--+--+--+ + + + + | | + . . . *--* *--*--* + | | | | + . * . * . * . * + | | | | +--. .--.--. * . * . + | | | | +--* . . * . * . * + | | | | + * * * . * . * . + | | | | + * * * .--.--. .--. + | | +--*--*--* . *--*--* . + | | + + + +--+--+ + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 5.58 MEM 2365648 MAXMEM 2365944 STALE 0 2013-08-17 00:03:20 2013-08-17 00:03:20 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-097.txt File = data/polarium-097.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((5,5), (5,4), (4,4), (4,5), (4,6), (4,7), (5,7), (6,7), (6,6), (7,6), (7,7), (8,7), (8,6), (8,5), (7,5), (7,4), (8,4), (8,3), (8,2), (7,2), (7,3), (6,3), (6,2), (5,2), (4,2), (3,2), (3,3), (2,3), (2,2), (1,2), (1,3), (1,4), (2,4), (2,5), (1,5), (1,6), (2,6), (2,7), (2,8), (3,8)) Size = 40 + + + + + + + + + + + . *--*--* *--* . . + | | | | + * .--. .--. .--.--. + | | + * .--. * * * * . + | + * . * .--.--.--. * + | | | + * . * .--. * . * + | | + * .--. * * .--. * + | | + * .--. .--. .--. * + | | | | + . *--*--* *--*--* . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 8.71 MEM 6172 MAXMEM 2367548 STALE 0 2013-08-17 00:03:27 2013-08-17 00:03:27 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-098.txt File = data/polarium-098.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((5,5), (4,5), (4,4), (4,3), (5,3), (5,2), (4,2), (3,2), (3,3), (3,4), (3,5), (3,6), (2,6), (2,5), (1,5), (1,4), (1,3), (1,2), (2,2), (2,1), (3,1), (3,0), (4,0), (5,0), (6,0), (6,1), (7,1), (7,2), (8,2), (8,3), (8,4), (8,5), (7,5), (7,6), (6,6), (5,6), (5,7), (6,7), (6,8)) Size = 39 + + + + + + + + + + + . *--*--*--* . . . + | | + *--* . . *--* . . + | | +--* *--*--*--*--* . . + | | + * . .--.--. * * * + | | | | + * .--. * . .--. * + | | | +--* . . . . * *--* + | | + *--* . . *--* . . + | | + . *--*--*--* . . . + + + + + + + + + + + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 7.13 MEM 0 MAXMEM 2365140 STALE 0 2013-08-17 00:03:33 2013-08-17 00:03:33 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-099.txt File = data/polarium-099.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((2,8), (3,8), (3,7), (2,7), (2,6), (1,6), (0,6), (0,5), (0,4), (0,3), (1,3), (2,3), (2,2), (3,2), (3,1), (2,1), (2,0), (3,0), (4,0), (5,0), (6,0), (6,1), (6,2), (6,3), (5,3), (4,3), (4,4), (3,4), (3,5), (4,5), (4,6), (5,6), (6,6), (6,7), (6,8), (6,9), (7,9), (8,9), (9,9), (9,8), (9,7), (9,6), (9,5), (8,5), (8,4), (7,4), (7,5)) Size = 47 + + + +--+--+--+ + + + | | + . . * . . * . . + | | +--. .--. * * .--. . + | | | | | + *--* . *--* . *--* + | | | + . . *--* *--* . . + | | | + * * . * * . * * + | | | +--.--.--. * * .--.--.--+ | + . . . *--* . . . + | | + . . . *--* . . . + | | + + + + + +--+--+--+--+ END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 42.29 MEM 0 MAXMEM 2378572 STALE 0 2013-08-17 00:04:14 2013-08-17 00:04:14 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -o opt -s1 glucose21_simp data/polarium-100.txt File = data/polarium-100.txt Solver = glucose21_simp Options = opt Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((2,4), (1,4), (1,3), (1,2), (0,2), (0,3), (0,4), (0,5), (0,6), (1,6), (1,7), (1,8), (2,8), (3,8), (4,8), (4,7), (3,7), (3,6), (4,6), (5,6), (5,5), (6,5), (7,5), (7,6), (6,6), (6,7), (7,7), (8,7), (8,8), (9,8), (9,7), (9,6), (9,5), (8,5), (8,4), (8,3), (7,3), (6,3), (6,2), (6,1), (5,1), (5,2), (5,3), (5,4), (4,4), (3,4), (3,3), (3,2)) Size = 48 + + +--+--+--+--+ + + + | | + * .--.--. * .--.--. + | | + * * * . * * * . + | + * .--.--. * .--. . + | | | | + * * * . * . .--. + | | + .--.--.--. .--. * * + | | + *--*--* . * *--* . + | | | | + . . * . *--* * . + | | + * * .--.--. * .--. + | | + + + + + +--+--+--+ + END_solution = 1 NumOfOptSolutions >= 1 FINISHED CPU 6.32 MEM 2347872 MAXMEM 2365188 STALE 0 2013-08-17 00:04:19