#OPTIONS -v -s1 glucose21_simp 2013-08-16 23:22:28 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-001.txt File = data/polarium-001.txt Solver = glucose21_simp Options = Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((2,4), (3,4), (4,4), (5,4), (6,4), (6,3), (6,2), (5,2), (4,2), (3,2), (2,2), (1,2), (0,2), (0,3), (0,4), (1,4)) Size = 16 + + +--+--+ + + | | + . * . * . + | + . * . * . + | | + . * . * . + | | + . * . * . + | | + . * . * . + | | + + +--+--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.83 MEM 2344200 MAXMEM 2353828 STALE 0 2013-08-16 23:22:30 2013-08-16 23:22:30 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-002.txt File = data/polarium-002.txt Solver = glucose21_simp Options = Rows = 9 Cols = 7 BEGIN_solution = 1 Solution = List((6,6), (5,6), (4,6), (3,6), (2,6), (1,6), (0,6), (0,5), (0,4), (0,3), (1,3), (2,3), (3,3), (4,3), (5,3), (5,2), (6,2), (7,2), (8,2), (8,3), (7,3), (7,4), (6,4), (5,4)) Size = 24 + + + +--+--+--+ | | + . . * . . + | | + . . * . . + | | + . . * . . + | | + . . * . . + | | + . *--* * . + | | | + . * . * . + | | + . * *--* . + | | + + +--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.05 MEM 2350180 MAXMEM 2355412 STALE 0 2013-08-16 23:22:31 2013-08-16 23:22:31 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-003.txt File = data/polarium-003.txt Solver = glucose21_simp Options = Rows = 9 Cols = 7 BEGIN_solution = 1 Solution = List((6,6), (5,6), (4,6), (3,6), (2,6), (1,6), (0,6), (0,5), (0,4), (0,3), (1,3), (2,3), (3,3), (4,3), (5,3), (5,4), (6,4), (7,4), (8,4), (8,3), (8,2), (7,2), (6,2), (5,2)) Size = 24 + + + +--+--+--+ | | + . . * . . + | | + . . * . . + | | + . . * . . + | | + . . * . . + | | + . * *--* . + | | | + . * . * . + | | + . * . * . + | | + + +--+--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.05 MEM 2351780 MAXMEM 2354944 STALE 0 2013-08-16 23:22:32 2013-08-16 23:22:32 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-004.txt File = data/polarium-004.txt Solver = glucose21_simp Options = Rows = 10 Cols = 7 BEGIN_solution = 1 Solution = List((8,3), (8,4), (9,4), (9,5), (9,6), (8,6), (7,6), (7,5), (6,5), (6,6), (5,6), (4,6), (3,6), (2,6), (1,6), (0,6), (0,5), (0,4), (1,4), (2,4), (3,4), (4,4), (5,4), (5,3), (6,3), (6,2), (7,2), (7,1), (6,1), (6,0), (5,0), (4,0), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (1,3), (1,2), (2,2), (3,2), (4,2), (5,2)) Size = 45 +--+--+--+ +--+--+ | | | | + . *--* * . + | | | | + . * . * . + | | | | + . * . * . + | | | | + . * . * . + | | | | + . * *--* . + | | | +--. .--. * .--+ | | | + .--. * * .--+ | + . . *--* . + | | + + + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.10 MEM 2357060 MAXMEM 2357060 STALE 0 2013-08-16 23:22:34 2013-08-16 23:22:34 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-005.txt File = data/polarium-005.txt Solver = glucose21_simp Options = Rows = 7 Cols = 9 BEGIN_solution = 1 Solution = List((2,6), (3,6), (4,6), (4,5), (4,4), (5,4), (6,4), (6,3), (6,2), (5,2), (5,3), (4,3), (4,2), (3,2), (2,2), (2,3), (3,3), (3,4), (2,4), (2,5), (1,5), (1,6), (1,7), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (1,0), (2,0), (3,0), (4,0)) Size = 35 + +--+--+--+--+--+--+ + | | +--* . . . *--*--* + | | + * .--. .--. . * + | | | | | + * . .--. * . * + | | | + * .--. .--.--. * + | | + * .--. . * * * + | | + + +--+--+ + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.07 MEM 2344012 MAXMEM 2353712 STALE 0 2013-08-16 23:22:35 2013-08-16 23:22:35 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-006.txt File = data/polarium-006.txt Solver = glucose21_simp Options = Rows = 6 Cols = 6 BEGIN_solution = 1 Solution = List((4,0), (5,0), (5,1), (5,2), (5,3), (5,4), (5,5), (4,5), (3,5), (2,5), (1,5), (0,5), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (2,1), (1,1), (1,2), (2,2), (3,2), (4,2), (4,1), (3,1), (3,0)) Size = 28 +--+--+--+--+--+ | | + *--* . . + | | | | +--* * . . + | | +--. . * * + | | | + .--. * * + | | +--+--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.38 MEM 2352356 MAXMEM 2352356 STALE 0 2013-08-16 23:22:36 2013-08-16 23:22:36 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-007.txt File = data/polarium-007.txt Solver = glucose21_simp Options = Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((3,0), (3,1), (4,1), (4,0), (5,0), (6,0), (7,0), (7,1), (7,2), (6,2), (6,3), (5,3), (5,2), (4,2), (3,2), (2,2), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (1,3), (1,4), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (2,6), (3,6), (4,6), (4,5), (4,4), (3,4)) Size = 37 +--+--+--+ +--+--+--+ | | | | + . . *--* . . + | | +--.--. * * * .--+ | | +--. . * . * . + | | | | +--. . * .--.--. + | | + . *--* . . . + | | + . *--* . . . + | | +--+--+ + + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.13 MEM 2346964 MAXMEM 2357020 STALE 0 2013-08-16 23:22:37 2013-08-16 23:22:37 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-008.txt File = data/polarium-008.txt Solver = glucose21_simp Options = Rows = 7 Cols = 9 BEGIN_solution = 1 Solution = List((2,6), (3,6), (4,6), (4,5), (5,5), (5,6), (6,6), (6,5), (6,4), (6,3), (5,3), (5,2), (4,2), (4,3), (3,3), (2,3), (1,3), (0,3), (0,4), (1,4), (1,5), (1,6), (0,6)) Size = 23 + + + +--+ + + + + | | | + . . * *--*--* . + | + . . * . . * . + | | + . . * . . * . + | | + . *--* . *--* . + | | + . *--* . *--* . + | | + + + +--+--+--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.11 MEM 2345432 MAXMEM 2355008 STALE 0 2013-08-16 23:22:39 2013-08-16 23:22:39 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-009.txt File = data/polarium-009.txt Solver = glucose21_simp Options = Rows = 5 Cols = 9 BEGIN_solution = 1 Solution = List((2,6), (2,7), (2,8), (3,8), (4,8), (4,7), (4,6), (3,6), (3,5), (4,5), (4,4), (3,4), (3,3), (3,2), (2,2), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (1,4)) Size = 24 +--+--+--+--+ + + + + | | + . . . * . . . + | +--.--. * * * .--.--+ | | + . *--*--* *--* . + | | | | + + + + +--+ +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.60 MEM 2343056 MAXMEM 2343056 STALE 0 2013-08-16 23:22:40 2013-08-16 23:22:40 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-010.txt File = data/polarium-010.txt Solver = glucose21_simp Options = Rows = 6 Cols = 8 BEGIN_solution = 1 Solution = List((3,0), (3,1), (2,1), (1,1), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (1,6), (2,6), (3,6), (3,7), (4,7), (5,7), (5,6), (5,5), (4,5), (4,4), (3,4), (3,3), (4,3), (4,2), (5,2)) Size = 29 +--+--+--+--+--+--+--+ | | +--* . . . . *--+ | | + * . . . . * + | | +--. * .--. * .--+ | | | + . *--* *--* . + | | | + + + + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.85 MEM 0 MAXMEM 2355640 STALE 0 2013-08-16 23:22:41 2013-08-16 23:22:41 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-011.txt File = data/polarium-011.txt Solver = glucose21_simp Options = Rows = 6 Cols = 6 BEGIN_solution = 1 Solution = List((4,0), (5,0), (5,1), (5,2), (5,3), (5,4), (5,5), (4,5), (3,5), (2,5), (1,5), (0,5), (0,4), (0,3), (1,3), (2,3), (3,3), (4,3), (4,2), (3,2), (2,2), (1,2), (0,2), (0,1), (0,0), (1,0), (2,0), (3,0)) Size = 28 +--+--+ +--+--+ | | | | + . * * . + | | | | + * . . * + | | | | + * . . * + | | | + . *--* . + | | +--+--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.39 MEM 2343980 MAXMEM 2343980 STALE 0 2013-08-16 23:22:42 2013-08-16 23:22:42 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-012.txt File = data/polarium-012.txt Solver = glucose21_simp Options = Rows = 6 Cols = 9 BEGIN_solution = 1 Solution = List((4,5), (5,5), (5,4), (5,3), (5,2), (5,1), (5,0), (4,0), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (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), (5,6), (5,7)) Size = 32 +--+--+--+ + + + + + | | + * .--. .--.--. * + | | | | + * . * . * . * + | | | | + * . * . * . * + | | | | + * .--.--. . . * + | | | +--+--+--+--+--+ +--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.87 MEM 2353832 MAXMEM 2353832 STALE 0 2013-08-16 23:22:43 2013-08-16 23:22:43 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-013.txt File = data/polarium-013.txt Solver = glucose21_simp Options = Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((0,2), (0,1), (1,1), (1,0), (2,0), (2,1), (3,1), (4,1), (4,0), (5,0), (5,1), (6,1), (6,0), (7,0), (7,1), (7,2), (7,3), (6,3), (5,3), (4,3), (3,3), (2,3), (1,3), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (3,7), (4,7), (5,7), (6,7), (7,7), (7,6), (7,5), (6,5), (5,5), (4,5), (3,5), (2,5), (1,5)) Size = 43 + +--+ +--+--+--+--+ | | | +--* . * . * . + | | | | +--* . * . * . + | | | | + . * . * . * + | | | | +--. * . * . * + | | | | +--* . * . * . + | | | | +--* . * . * . + | | | | +--+--+--+ + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.15 MEM 0 MAXMEM 2353372 STALE 0 2013-08-16 23:22:45 2013-08-16 23:22:45 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-014.txt File = data/polarium-014.txt Solver = glucose21_simp Options = Rows = 5 Cols = 7 BEGIN_solution = 1 Solution = List((3,3), (3,4), (4,4), (4,3), (4,2), (3,2), (2,2), (2,1), (2,0), (1,0), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (1,6), (1,5), (2,5), (2,4)) Size = 21 + +--+--+--+--+--+ | | +--* . . . *--+ | | +--.--. * .--. + | + * . .--. * + | | + + +--+--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.35 MEM 2349532 MAXMEM 2349532 STALE 0 2013-08-16 23:22:46 2013-08-16 23:22:46 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-015.txt File = data/polarium-015.txt Solver = glucose21_simp Options = Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((3,3), (4,3), (4,2), (5,2), (5,3), (6,3), (6,2), (6,1), (6,0), (5,0), (4,0), (3,0), (3,1), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (1,2), (1,3), (1,4), (0,4), (0,5), (0,6), (1,6), (2,6), (2,5), (3,5), (3,6), (4,6), (5,6), (6,6), (6,5), (6,4), (5,4), (4,4)) Size = 37 +--+--+ + +--+--+ | | | | + . *--*--* . + | | +--* . . . *--+ | | +--* . * . *--+ | | | + * .--. . * + | | | | + . *--* * . + | | | | +--+--+--+ +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.59 MEM 2353112 MAXMEM 2353112 STALE 0 2013-08-16 23:22:47 2013-08-16 23:22:47 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-016.txt File = data/polarium-016.txt Solver = glucose21_simp Options = Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((3,3), (3,2), (4,2), (4,3), (5,3), (5,2), (5,1), (4,1), (4,0), (3,0), (2,0), (2,1), (2,2), (2,3), (2,4), (3,4), (4,4), (5,4), (6,4), (6,5), (6,6), (5,6), (4,6), (3,6), (2,6), (1,6), (1,5)) Size = 27 + + + + + + + + . . . . *--+ | +--*--*--*--* . + | | | + * .--. . * + | | | | +--* *--* * . + | | | | + .--.--. . * + | | + + + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.84 MEM 6172 MAXMEM 2355348 STALE 0 2013-08-16 23:22:48 2013-08-16 23:22:48 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-017.txt File = data/polarium-017.txt Solver = glucose21_simp Options = Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((6,6), (5,6), (4,6), (4,5), (3,5), (2,5), (2,6), (1,6), (0,6), (0,5), (0,4), (0,3), (1,3), (2,3), (3,3), (4,3), (5,3), (6,3), (6,2), (6,1), (6,0), (5,0), (4,0), (4,1), (3,1), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2)) Size = 31 +--+--+ +--+--+--+ | | | + . . * . . + | | | +--* . * . *--+ | | | + . * . * . + | | | +--* . * . *--+ | | | + . . * . . + | | | +--+--+--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.84 MEM 2344628 MAXMEM 2354296 STALE 0 2013-08-16 23:22:49 2013-08-16 23:22:49 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-018.txt File = data/polarium-018.txt Solver = glucose21_simp Options = Rows = 5 Cols = 9 BEGIN_solution = 1 Solution = List((2,6), (2,5), (3,5), (3,4), (3,3), (2,3), (2,2), (1,2), (1,1), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (1,6), (1,7), (0,7), (0,8), (1,8), (2,8), (3,8), (4,8), (4,7), (4,6)) Size = 27 +--+--+--+--+--+--+ +--+ | | | | +--*--* . . . *--* + | | + * .--. * .--. * + | | | + * * .--.--. * * + | + + + + + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.61 MEM 2344060 MAXMEM 2344060 STALE 0 2013-08-16 23:22:50 2013-08-16 23:22:50 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-019.txt File = data/polarium-019.txt Solver = glucose21_simp Options = Rows = 8 Cols = 5 BEGIN_solution = 1 Solution = List((0,0), (0,1), (0,2), (0,3), (1,3), (2,3), (2,4), (3,4), (4,4), (5,4), (6,4), (6,3), (5,3), (4,3), (4,2), (3,2), (3,1), (2,1), (1,1), (1,0), (2,0), (3,0), (4,0), (5,0), (5,1), (6,1), (7,1)) Size = 27 +--+--+--+ + | +--* . * + | | | + . * .--+ | | | + .--. * + | | | + * .--. + | | | +--. * . + | | | + * . *--+ | + + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.63 MEM 2344304 MAXMEM 2344304 STALE 0 2013-08-16 23:22:51 2013-08-16 23:22:51 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-020.txt File = data/polarium-020.txt Solver = glucose21_simp Options = Rows = 6 Cols = 6 BEGIN_solution = 1 Solution = List((4,0), (5,0), (5,1), (5,2), (4,2), (4,1), (3,1), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (1,4), (1,3), (2,3), (3,3)) Size = 19 +--+--+--+--+ + | | + . . *--* + | | +--. * . * + | | + * . * . + | + *--* . . + | | +--+--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.41 MEM 2350560 MAXMEM 2350560 STALE 0 2013-08-16 23:22:52 2013-08-16 23:22:52 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-021.txt File = data/polarium-021.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,8), (4,7), (3,7), (3,6), (3,5), (3,4), (3,3), (3,2), (2,2), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (1,4), (1,5), (1,6), (0,6), (0,7), (0,8), (0,9), (1,9), (2,9), (2,8), (3,8), (3,9), (4,9), (5,9), (5,8), (6,8), (7,8), (7,7), (7,6), (6,6), (6,7), (5,7), (5,6), (4,6), (4,5), (4,4), (4,3), (4,2), (5,2), (5,1), (6,1), (7,1), (7,2), (6,2), (6,3), (5,3), (5,4), (6,4), (7,4), (8,4), (8,3), (9,3), (9,4), (9,5), (8,5)) Size = 62 +--+--+--+--+ + +--+--+--+ | | | | + . . . *--*--* . . + | | +--.--. * * * * * .--+ | | + . *--*--*--*--*--* *--+ | | + . *--*--*--*--* *--* + | | | + .--. .--. * .--. .--+ | | | | | + . .--. . * .--. . + | | | | | + .--. * . * .--.--. + | + . . *--* * . . . + | | + + + +--+--+ + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.68 MEM 2347596 MAXMEM 2365588 STALE 0 2013-08-16 23:22:55 2013-08-16 23:22:55 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-022.txt File = data/polarium-022.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((3,7), (3,6), (2,6), (2,5), (3,5), (4,5), (4,4), (4,3), (4,2), (4,1), (3,1), (2,1), (2,0), (3,0), (4,0), (5,0), (6,0), (7,0), (8,0), (8,1), (8,2), (7,2), (6,2), (6,3), (6,4), (7,4), (7,3), (8,3), (8,4), (8,5), (8,6), (8,7), (7,7), (7,8), (6,8), (6,7), (6,6), (5,6), (5,7), (5,8), (4,8), (3,8), (2,8), (1,8), (0,8), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (1,2)) Size = 54 + +--+--+--+--+--+--+--+ | | + *--* . . . . . + | +--* . . . *--* . + | | | | | + * . . . * *--* + | | | | + *--*--*--*--* . . + | | + * * * * * .--.--+ | | + * .--.--. * .--.--+ | | | | + * . .--. * * .--+ | | | | +--+--+ +--+--+--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.48 MEM 2354148 MAXMEM 2360592 STALE 0 2013-08-16 23:22:57 2013-08-16 23:22:57 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-023.txt File = data/polarium-023.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((2,3), (2,4), (2,5), (1,5), (1,6), (1,7), (1,8), (0,8), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (1,1), (1,2), (2,2), (3,2), (3,1), (3,0), (4,0), (4,1), (4,2), (4,3), (4,4), (3,4), (3,5), (4,5), (5,5), (5,4), (6,4), (6,3), (7,3), (7,2), (8,2), (9,2), (9,3), (8,3), (8,4), (8,5), (8,6), (7,6), (7,7), (6,7), (6,8), (7,8), (8,8), (8,7), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (5,9), (4,9), (3,9), (2,9), (1,9)) Size = 62 +--+--+--+--+--+--+--+--+ + | | +--*--* . . *--*--*--* + | | | + * . .--.--. * * * + | | +--.--. * .--. * * * + | | | | +--.--.--.--. . * * * + | | + * * * .--. * * * + | | + * * .--. * * .--. + | | | | + * .--. * * .--. . + | | | | + * . .--.--.--. .--. + | | | | + + +--+ + + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.41 MEM 0 MAXMEM 2365308 STALE 0 2013-08-16 23:22:59 2013-08-16 23:22:59 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-024.txt File = data/polarium-024.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((9,6), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (5,9), (4,9), (3,9), (3,8), (3,7), (2,7), (1,7), (1,6), (1,5), (2,5), (3,5), (3,6), (4,6), (5,6), (5,5), (6,5), (6,4), (5,4), (5,3), (4,3), (4,2), (5,2), (6,2), (6,3), (7,3), (8,3), (8,4), (9,4), (9,3), (9,2), (9,1), (9,0), (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), (0,3), (0,4), (0,5), (0,6), (0,7), (0,8)) Size = 58 +--+--+--+--+--+--+--+--+ + | + . . . . *--*--* . + | | | + . . . . * . * . + | | | +--* . . . *--* *--*--+ | | | + * *--* . . * . . + | | | | | +--* * *--* *--* . . + | | | | | + . *--* *--* . . . + | | | + . . * . . . . . + | | | + . . *--* . . . . + | | | +--+--+--+--+ + +--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.39 MEM 2346964 MAXMEM 2364156 STALE 0 2013-08-16 23:23:02 2013-08-16 23:23:02 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-025.txt File = data/polarium-025.txt Solver = glucose21_simp Options = 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), (6,1), (6,0), (5,0), (4,0), (3,0), (2,0), (2,1), (2,2), (1,2), (1,3), (0,3), (0,4), (1,4), (2,4), (2,5), (1,5), (0,5), (0,6), (1,6), (1,7), (2,7), (2,8), (2,9), (3,9), (4,9), (4,8), (5,8), (6,8), (6,7), (6,6), (6,5)) Size = 42 + + + +--+ +--+ + + + | | | | + * .--. . . .--. * + | | | | +--.--. * .--. * .--.--+ | | + . *--*--* . . . . + | | | | + .--. * . .--. * .--+ | | | | | + * . . *--* . . * + | | | +--+ + + + +--+--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.30 MEM 6172 MAXMEM 2356640 STALE 0 2013-08-16 23:23:03 2013-08-16 23:23:03 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-026.txt File = data/polarium-026.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((5,7), (5,6), (5,5), (4,5), (4,4), (3,4), (3,3), (2,3), (2,4), (1,4), (1,5), (0,5), (0,4), (0,3), (1,3), (1,2), (0,2), (0,1), (0,0), (1,0), (2,0), (2,1), (3,1), (3,0), (4,0), (5,0), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (8,2), (8,1), (7,1), (6,1), (6,2), (5,2), (4,2), (4,3), (5,3), (5,4), (6,4), (6,5), (7,5), (7,6), (8,6), (8,5), (8,4), (9,4), (9,5), (9,6), (9,7), (9,8), (8,8), (8,9), (7,9), (7,8), (7,7), (6,7), (6,8), (6,9), (5,9), (4,9), (3,9), (3,8), (2,8), (2,9), (1,9), (0,9), (0,8), (0,7), (1,7), (1,6), (2,6), (2,5), (3,5), (3,6), (4,6), (4,7)) Size = 80 +--+--+ +--+--+ + +--+--+ | | | | | | + . *--* *--* *--* . + | | | | +--. * .--. .--. * .--+ | | | | +--. * .--. .--. * .--+ | | | | + . *--* *--* *--* . + | | | | | + * . .--. .--.--. * + | | | | + .--. * .--. * .--.--+ | | | | + . * * * .--. .--.--+ | | | | + .--. * .--.--. * .--+ | | | | +--+--+ + +--+--+--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.48 MEM 2347580 MAXMEM 2365324 STALE 0 2013-08-16 23:23:06 2013-08-16 23:23:06 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-027.txt File = data/polarium-027.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((6,2), (6,3), (6,4), (6,5), (6,6), (5,6), (5,5), (4,5), (3,5), (2,5), (1,5), (1,6), (1,7), (2,7), (3,7), (3,8), (2,8), (2,9), (1,9), (1,8), (0,8), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (1,2), (1,3), (1,4), (2,4), (3,4), (3,3), (2,3), (2,2), (3,2), (3,1), (2,1), (2,0), (3,0), (4,0), (4,1), (5,1), (5,0), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (9,3), (9,4), (9,5), (9,6), (9,7), (9,8), (8,8), (7,8), (7,9), (6,9), (6,8), (6,7), (7,7), (7,6), (7,5), (7,4), (7,3), (7,2), (8,2)) Size = 69 + + +--+--+--+--+--+--+ + | | + * .--.--. .--.--. .--+ | | | | +--* *--* * * . * *--+ | | | | | | | | + *--* *--* * . *--* + | | +--* . . . * . . . + | | +--* . . . *--* . . + | | + * .--.--.--.--. .--.--+ | | | + * .--.--.--.--.--. .--+ | | | + * . * * * * * . + | | +--+--+--+--+--+--+--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.85 MEM 2348552 MAXMEM 2366796 STALE 0 2013-08-16 23:23:08 2013-08-16 23:23:08 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-028.txt File = data/polarium-028.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,7), (1,7), (1,8), (0,8), (0,9), (1,9), (2,9), (3,9), (3,8), (4,8), (4,9), (5,9), (6,9), (6,8), (6,7), (5,7), (5,6), (6,6), (6,5), (5,5), (5,4), (5,3), (4,3), (4,4), (4,5), (4,6), (3,6), (3,5), (2,5), (1,5), (1,6), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (3,0), (4,0), (5,0), (5,1), (6,1), (6,2), (5,2), (4,2), (3,2), (2,2), (2,3)) Size = 51 +--+--+--+--+--+--+ + +--+ | | | | + * * * * .--. .--. + | | | | + * .--. * . * . * + | | | | + * . * * .--. * .--+ | | | | + * . .--.--.--. * .--+ | | | | +--* * *--*--* *--* . + | | | | | | + +--+ + + +--+ +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.11 MEM 2355964 MAXMEM 2355964 STALE 0 2013-08-16 23:23:10 2013-08-16 23:23:10 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-029.txt File = data/polarium-029.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((1,1), (2,1), (2,2), (1,2), (1,3), (1,4), (0,4), (0,5), (0,6), (0,7), (0,8), (0,9), (1,9), (2,9), (3,9), (4,9), (5,9), (5,8), (6,8), (6,7), (5,7), (4,7), (4,6), (5,6), (6,6), (6,5), (6,4), (6,3), (6,2), (6,1), (5,1), (5,2), (4,2), (4,3), (5,3), (5,4), (4,4), (3,4), (3,5), (3,6), (2,6), (2,7), (3,7)) Size = 43 + + + + +--+--+--+--+--+ | | + * *--*--* . . . . + | | | + *--* . . . *--* . + | | | + . . . *--*--* * . + | | + . *--* * . *--* . + | | | | | | + .--. .--. * . . .--+ | | | | + +--+--+--+--+--+ +--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.10 MEM 2356036 MAXMEM 2356036 STALE 0 2013-08-16 23:23:11 2013-08-16 23:23:11 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-030.txt File = data/polarium-030.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((1,4), (0,4), (0,5), (1,5), (1,6), (0,6), (0,7), (1,7), (1,8), (0,8), (0,9), (1,9), (2,9), (2,8), (2,7), (2,6), (2,5), (2,4), (3,4), (3,5), (4,5), (4,6), (3,6), (3,7), (3,8), (4,8), (4,7), (5,7), (5,6), (5,5), (5,4), (4,4), (4,3), (3,3), (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,0), (6,0), (7,0), (8,0), (8,1), (9,1), (9,2), (9,3), (8,3), (7,3), (7,2), (6,2), (6,3), (6,4), (7,4), (7,5), (8,5), (9,5), (9,6), (9,7), (8,7), (8,8), (9,8), (9,9), (8,9), (7,9), (6,9), (6,8), (6,7), (7,7), (7,6), (8,6)) Size = 78 +--+--+--+ +--+ +--+ +--+ | | | | | | | | + * * . . .--. .--. + | | | + * * . .--.--.--.--.--+ | | | +--. * . .--. .--.--. + | | | | | + . * .--. .--. .--. + | | | +--. * * .--.--.--. * + | + . *--*--* . . *--*--+ | | | | | + . *--* *--* *--* . + | | | | | +--. * . * . . .--. + | | | | | | + +--+--+ + +--+--+ +--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.68 MEM 2348484 MAXMEM 2365448 STALE 0 2013-08-16 23:23:14 2013-08-16 23:23:14 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-031.txt File = data/polarium-031.txt Solver = glucose21_simp Options = Rows = 10 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (4,3), (3,3), (2,3), (2,4), (1,4), (0,4), (0,3), (1,3), (1,2), (0,2), (0,1), (0,0), (1,0), (2,0), (2,1), (3,1), (3,0), (4,0), (4,1), (5,1), (5,0), (6,0), (6,1), (7,1), (7,0), (8,0), (8,1), (9,1), (9,2), (9,3), (9,4), (9,5), (9,6), (9,7), (8,7), (8,8), (7,8), (7,7), (6,7), (5,7), (5,8), (4,8), (4,7), (3,7), (2,7), (2,8), (1,8), (0,8), (0,7), (0,6), (1,6), (1,5), (2,5), (3,5), (4,5), (4,4), (5,4), (5,5), (6,5), (7,5), (7,4), (7,3), (6,3)) Size = 64 +--+--+ +--+ + +--+--+ | | | | | | + . *--* * *--* . + | | | | +--. * .--. . * .--+ | | | | +--. * . * . * . + | | | | +--. * . .--. * .--+ | | | | +--. * . .--. * .--+ | | | +--. * . * . * . + | | | | +--. * .--.--. * .--+ | | +--. * * * * * .--+ | | + +--+--+--+--+--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.96 MEM 2350380 MAXMEM 2364796 STALE 0 2013-08-16 23:23:16 2013-08-16 23:23:16 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-032.txt File = data/polarium-032.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((0,0), (0,1), (0,2), (1,2), (2,2), (2,3), (3,3), (4,3), (4,2), (4,1), (3,1), (2,1), (2,0), (3,0), (4,0), (5,0), (5,1), (6,1), (6,2), (6,3), (5,3), (5,4), (6,4), (6,5), (5,5), (5,6), (6,6), (6,7), (6,8), (5,8), (5,9), (4,9), (3,9), (3,8), (2,8), (2,9), (1,9), (0,9), (0,8), (0,7), (1,7), (2,7), (2,6), (3,6), (4,6), (4,7), (4,8)) Size = 47 +--+--+ + + + + +--+--+ | | | + . * . . . . * . + | | | +--* *--* . . *--* *--+ | | | | | + . * . * * . * .--+ | | | | | + *--*--* . . *--*--* + | | +--. * .--. .--. * .--+ | | | | | | + +--+--+ +--+ +--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.30 MEM 2345568 MAXMEM 2357072 STALE 0 2013-08-16 23:23:17 2013-08-16 23:23:17 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-033.txt File = data/polarium-033.txt Solver = glucose21_simp Options = Rows = 5 Cols = 9 BEGIN_solution = 1 Solution = List((2,5), (3,5), (3,4), (4,4), (4,5), (4,6), (4,7), (3,7), (2,7), (1,7), (1,8), (0,8), (0,7), (0,6), (0,5), (1,5), (1,4), (1,3), (2,3), (3,3), (4,3), (4,2), (4,1), (4,0), (3,0), (2,0), (1,0), (1,1), (2,1), (3,1)) Size = 30 + + + + + +--+--+--+ | | +--. * .--.--. * .--+ | | | | + * . * . * . * + | | | | | + . * . .--. * . + | | | | +--+--+--+ +--+--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.60 MEM 2350312 MAXMEM 2350312 STALE 0 2013-08-16 23:23:19 2013-08-16 23:23:19 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-034.txt File = data/polarium-034.txt Solver = glucose21_simp Options = Rows = 6 Cols = 6 BEGIN_solution = 1 Solution = List((4,0), (5,0), (5,1), (5,2), (4,2), (3,2), (3,3), (4,3), (4,4), (4,5), (3,5), (2,5), (1,5), (1,4), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (2,1), (3,1), (3,0)) Size = 24 +--+--+--+--+ + | | + . . . *--+ | | +--* . . . + | | +--. .--. * + | | | + * . .--.--+ | | +--+--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.40 MEM 2350156 MAXMEM 2350156 STALE 0 2013-08-16 23:23:20 2013-08-16 23:23:20 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-035.txt File = data/polarium-035.txt Solver = glucose21_simp Options = Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((2,3), (3,3), (3,4), (4,4), (5,4), (5,3), (6,3), (6,4), (6,5), (6,6), (5,6), (4,6), (3,6), (2,6), (2,5), (1,5), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (2,1), (2,0), (3,0), (4,0), (5,0), (6,0), (6,1), (6,2), (5,2), (4,2), (3,2)) Size = 33 + +--+--+--+--+ + | | + * . . . * + | | +--. * . * .--+ | | | + * . .--. * + | | | | + . * . * . + | | | | + * . .--. * + | | | | +--+--+ +--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.59 MEM 2352976 MAXMEM 2352976 STALE 0 2013-08-16 23:23:21 2013-08-16 23:23:21 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-036.txt File = data/polarium-036.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (4,3), (3,3), (3,4), (3,5), (4,5), (5,5), (5,4), (6,4), (7,4), (7,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), (2,1), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (3,7), (4,7), (5,7), (5,8), (6,8), (7,8), (8,8), (8,7), (8,6), (7,6), (6,6), (6,5), (7,5), (8,5), (8,4), (8,3)) Size = 50 + +--+--+--+--+--+--+ + | | + * . . . . . * + | | + . * * * * * . + | | + . * .--.--. * . + | | | | + . * . * . * . + | | | | +--. * . .--. * .--+ | | | + . *--* * *--* . + | | | | | | | + * . .--. . . * + | | | | | +--+--+ +--+--+ +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.67 MEM 2349572 MAXMEM 2361548 STALE 0 2013-08-16 23:23:23 2013-08-16 23:23:23 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-037.txt File = data/polarium-037.txt Solver = glucose21_simp Options = Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((3,0), (3,1), (4,1), (4,0), (5,0), (5,1), (6,1), (7,1), (7,2), (7,3), (6,3), (5,3), (5,4), (6,4), (7,4), (7,5), (7,6), (6,6), (6,7), (5,7), (5,6), (4,6), (3,6), (2,6), (1,6), (1,7), (0,7), (0,6), (0,5), (0,4), (1,4), (2,4), (2,3), (1,3), (0,3), (0,2), (0,1), (1,1), (2,1), (2,0), (1,0), (0,0)) Size = 42 + +--+--+ +--+--+--+ | | | | | + * . * * . *--+ | | | | | +--. * .--. * . + | +--* . . . . * + | | +--* . . . . * + | | +--. * .--. * .--+ | | | | + * . * * . *--+ | | | | + +--+--+ +--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.10 MEM 2345508 MAXMEM 2354296 STALE 0 2013-08-16 23:23:24 2013-08-16 23:23:24 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-038.txt File = data/polarium-038.txt Solver = glucose21_simp Options = Rows = 5 Cols = 10 BEGIN_solution = 1 Solution = List((3,6), (4,6), (4,7), (4,8), (3,8), (3,9), (2,9), (1,9), (0,9), (0,8), (0,7), (1,7), (2,7), (2,6), (2,5), (2,4), (1,4), (1,5), (0,5), (0,4), (0,3), (0,2), (1,2), (2,2), (2,3), (3,3), (4,3), (4,2), (4,1), (3,1), (3,0), (2,0)) Size = 32 + + +--+--+--+ + +--+--+ | | | | + . * . *--* . * . + | | | | + * .--. .--.--.--. * + | | | +--. * . * * . * .--+ | | | | + +--+--+ + + +--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.88 MEM 2344936 MAXMEM 2354436 STALE 0 2013-08-16 23:23:25 2013-08-16 23:23:25 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-039.txt File = data/polarium-039.txt Solver = glucose21_simp Options = Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((1,3), (0,3), (0,2), (0,1), (0,0), (1,0), (1,1), (2,1), (2,2), (3,2), (4,2), (5,2), (5,1), (4,1), (4,0), (5,0), (6,0), (6,1), (6,2), (6,3), (6,4), (6,5), (5,5), (4,5), (4,6), (3,6), (2,6), (1,6), (1,5), (2,5), (2,4), (3,4), (4,4), (5,4)) Size = 34 +--+--+--+ + + + | | +--* . * . *--+ | | | + .--. * .--. + | | | + * . * . * + | | | +--* * . * *--+ | | | | | + .--. * . . + | | +--+--+--+--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.84 MEM 2344600 MAXMEM 2353980 STALE 0 2013-08-16 23:23:26 2013-08-16 23:23:26 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-040.txt File = data/polarium-040.txt Solver = glucose21_simp Options = Rows = 7 Cols = 7 BEGIN_solution = 1 Solution = List((6,6), (6,5), (6,4), (6,3), (6,2), (6,1), (6,0), (5,0), (5,1), (4,1), (4,2), (3,2), (2,2), (2,1), (2,0), (1,0), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (1,5), (1,6), (2,6), (3,6), (4,6), (5,6), (5,5), (4,5), (4,4), (3,4), (2,4), (2,5)) Size = 34 + +--+--+--+--+ + | | +--* . . . *--+ | | +--.--. * .--. + | | | + . * . * . + | | | + .--. * .--. + | | | +--* . . . *--+ | +--+--+--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 1.80 MEM 2345888 MAXMEM 2353512 STALE 0 2013-08-16 23:23:27 2013-08-16 23:23:27 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-041.txt File = data/polarium-041.txt Solver = glucose21_simp Options = Rows = 10 Cols = 7 BEGIN_solution = 1 Solution = List((6,6), (5,6), (4,6), (3,6), (2,6), (1,6), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (2,1), (3,1), (3,2), (2,2), (1,2), (1,3), (1,4), (2,4), (2,5), (3,5), (3,4), (4,4), (4,3), (4,2), (5,2), (6,2), (7,2), (7,1), (6,1), (5,1), (5,0), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (9,3), (8,3), (8,4), (7,4), (7,5), (6,5), (5,5), (5,4)) Size = 50 +--+--+--+--+--+--+ | | + . *--*--* . + | | | | +--* * . *--* + | | | | + *--* . *--* + | | + . *--*--* . + | | +--. . * .--. + | | | | | + . . * * . + | | | | + .--. * .--. + | | + . . *--* . + | | +--+--+--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.32 MEM 2345556 MAXMEM 2357036 STALE 0 2013-08-16 23:23:29 2013-08-16 23:23:29 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-042.txt File = data/polarium-042.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,1), (7,1), (6,1), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (9,3), (9,4), (9,5), (9,6), (9,7), (9,8), (8,8), (7,8), (6,8), (6,9), (5,9), (4,9), (4,8), (4,7), (3,7), (3,8), (3,9), (2,9), (1,9), (0,9), (0,8), (1,8), (1,7), (2,7), (2,6), (2,5), (3,5), (4,5), (4,6), (5,6), (6,6), (7,6), (7,5), (7,4), (7,3), (6,3), (6,4), (6,5), (5,5), (5,4), (5,3), (4,3), (4,4), (3,4), (3,3), (2,3), (2,2), (3,2), (3,1), (4,1), (4,0), (3,0), (2,0), (1,0), (1,1), (1,2), (0,2), (0,3), (0,4), (0,5)) Size = 69 + + +--+--+--+ + + +--+ | | | +--*--* . . . . *--* + | | | + * .--. * .--.--. * + | | | | | + .--. .--. . * .--.--+ | | | | | +--. * .--. .--. .--.--+ | | | + . . *--*--* * . . + | | | +--* . *--*--* * . *--+ | | | | | + * . *--*--*--* . * + | | | + * . . . . . . * + | | +--+--+--+--+--+--+--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.56 MEM 2348180 MAXMEM 2365528 STALE 0 2013-08-16 23:23:31 2013-08-16 23:23:31 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-043.txt File = data/polarium-043.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((2,4), (2,5), (1,5), (1,6), (1,7), (1,8), (1,9), (0,9), (0,8), (0,7), (0,6), (0,5), (0,4), (0,3), (1,3), (1,2), (1,1), (0,1), (0,0), (1,0), (2,0), (3,0), (3,1), (3,2), (3,3), (4,3), (5,3), (5,2), (4,2), (4,1), (5,1), (6,1), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (9,3), (8,3), (8,4), (9,4), (9,5), (9,6), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (6,8), (5,8), (4,8), (4,9), (3,9), (3,8), (3,7), (4,7), (4,6), (4,5), (5,5), (5,6), (5,7), (6,7), (7,7), (7,6), (8,6), (8,5), (7,5), (7,4), (7,3), (7,2), (6,2), (6,3), (6,4)) Size = 75 +--+ + +--+--+--+--+--+--+ | | | | + .--.--. * .--.--.--.--+ | | + . . . *--* . . . + | +--.--.--. * * * .--.--+ | | | + .--. . * .--.--. .--+ | | | | | + . .--. * .--.--. . + | | | +--* *--*--* . . * *--+ | | | | + . *--*--*--* *--* . + | | | | + . . *--* *--* . . + | | | | +--+--+--+ +--+--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.71 MEM 0 MAXMEM 2366000 STALE 0 2013-08-16 23:23:34 2013-08-16 23:23:34 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-044.txt File = data/polarium-044.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((2,5), (3,5), (3,6), (4,6), (4,7), (4,8), (5,8), (6,8), (6,7), (6,6), (5,6), (5,5), (6,5), (7,5), (7,4), (6,4), (5,4), (5,3), (5,2), (6,2), (7,2), (7,3), (8,3), (8,2), (9,2), (9,3), (9,4), (8,4), (8,5), (9,5), (9,6), (8,6), (7,6), (7,7), (7,8), (8,8), (8,9), (7,9), (6,9), (5,9), (4,9), (3,9), (3,8), (3,7), (2,7), (2,8), (1,8), (1,9), (0,9), (0,8), (0,7), (1,7), (1,6), (0,6), (0,5), (0,4), (0,3), (0,2), (1,2), (1,1), (2,1), (2,0), (3,0), (3,1), (4,1), (4,2), (3,2), (3,3), (2,3)) Size = 69 + + +--+--+--+--+ +--+--+ | | | | + *--* . . . *--* *--+ | | +--* . * . * . *--* + | | | | +--* *--* . *--* *--*--+ | | | | + *--* . . . *--*--* + | | + * .--.--. .--. * . + | | | | | | + * . * . . .--.--. + | | | | + * .--. .--. .--.--. + | | | | + * .--. .--. . * .--+ | | | | + + +--+--+ +--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.45 MEM 2356940 MAXMEM 2365544 STALE 0 2013-08-16 23:23:37 2013-08-16 23:23:37 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-045.txt File = data/polarium-045.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((5,5), (6,5), (6,4), (7,4), (7,5), (8,5), (8,6), (8,7), (7,7), (7,6), (6,6), (6,7), (5,7), (5,6), (4,6), (3,6), (3,5), (2,5), (1,5), (0,5), (0,6), (1,6), (1,7), (2,7), (3,7), (4,7), (4,8), (4,9), (5,9), (6,9), (6,8), (7,8), (7,9), (8,9), (8,8), (9,8), (9,7), (9,6), (9,5), (9,4), (8,4), (8,3), (9,3), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (4,0), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (1,3), (2,3), (3,3), (3,2), (2,2), (1,2), (1,1), (2,1), (3,1), (4,1), (4,2), (5,2), (5,3), (6,3), (6,2)) Size = 73 +--+--+--+ + +--+ + + + | | | | + .--. . * . .--. * + | | | | | | + . . . * . * . * + | | | | | | + . .--. * .--. . * + | | | | + *--* . . . * *--*--+ | | | | + * .--. * . .--. * + | | | | | + * .--. .--. .--. .--+ | | | | + * * * .--. .--. .--+ | | | | + * * .--. .--.--. .--+ | | | | +--+--+--+ +--+--+--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.56 MEM 2347236 MAXMEM 2364264 STALE 0 2013-08-16 23:23:39 2013-08-16 23:23:39 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-046.txt File = data/polarium-046.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (6,3), (6,4), (7,4), (7,5), (8,5), (8,4), (8,3), (8,2), (7,2), (7,1), (6,1), (6,0), (5,0), (4,0), (3,0), (3,1), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (1,4), (1,5), (0,5), (0,6), (1,6), (2,6), (3,6), (3,7), (2,7), (2,8), (3,8), (4,8), (5,8), (6,8), (7,8), (8,8), (8,7), (7,7), (6,7), (6,6), (5,6), (4,6), (4,5), (4,4), (4,3), (4,2), (3,2), (2,2), (1,2), (1,3)) Size = 55 +--+--+--+--+ +--+ + + | | | | + . *--* *--* * . + | | | +--* * . . . * *--+ | | | | | +--* * . . . *--* + | | | + . *--*--*--*--* . + | | | + . . * . . * . + | | | | +--. * .--. * .--. + | | | | + .--. * .--. * . + | | | | + + +--+--+--+ + +--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.71 MEM 0 MAXMEM 2362168 STALE 0 2013-08-16 23:23:41 2013-08-16 23:23:41 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-047.txt File = data/polarium-047.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,4), (2,5), (3,5), (3,4), (4,4), (4,3), (5,3), (6,3), (6,2), (5,2), (4,2), (4,1), (3,1), (3,2), (2,2), (1,2), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (0,8), (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)) Size = 40 + +--+--+--+--+--+--+--+ + | | + *--* . . . . *--* + | | + * . * .--. * . * + | | | + .--. * .--. * .--. + | | | + .--. .--. .--. * .--+ | | | | + * . . * * .--. * + | | | | + + +--+ + + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.10 MEM 2355468 MAXMEM 2355468 STALE 0 2013-08-16 23:23:42 2013-08-16 23:23:42 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-048.txt File = data/polarium-048.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((2,3), (3,3), (4,3), (5,3), (6,3), (7,3), (7,4), (6,4), (5,4), (5,5), (6,5), (6,6), (7,6), (7,5), (8,5), (8,4), (8,3), (8,2), (7,2), (6,2), (5,2), (5,1), (5,0), (4,0), (3,0), (3,1), (2,1), (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), (2,7), (2,6), (2,5), (3,5), (3,6), (3,7), (3,8), (4,8), (5,8), (5,7)) Size = 50 + +--+--+--+--+--+--+ + | | +--* . . . . . *--+ | | +--. * . * .--.--.--+ | | | +--. * . * .--.--.--+ | | | + . . * . . . . + | | | +--.--. . .--. * .--+ | | | | + . * * * *--* . + | | | | + * . .--. .--. * + | | + + +--+--+--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.58 MEM 2356664 MAXMEM 2361504 STALE 0 2013-08-16 23:23:44 2013-08-16 23:23:44 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-049.txt File = data/polarium-049.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,8), (4,9), (5,9), (6,9), (7,9), (8,9), (8,8), (9,8), (9,7), (8,7), (8,6), (7,6), (7,5), (8,5), (9,5), (9,4), (8,4), (7,4), (6,4), (6,5), (5,5), (5,4), (5,3), (6,3), (7,3), (7,2), (8,2), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (5,1), (5,2), (4,2), (4,1), (4,0), (3,0), (3,1), (2,1), (2,2), (1,2), (1,3), (1,4), (0,4), (0,5), (0,6), (0,7), (0,8), (0,9), (1,9), (2,9), (2,8), (2,7), (2,6), (2,5), (3,5), (3,6), (4,6), (4,7), (3,7), (3,8), (3,9)) Size = 65 + + + + +--+--+--+--+--+ | | + . *--*--* . . . . + | | + .--. * * .--.--.--.--+ | | +--. * * * .--. .--.--+ | | | +--.--. * * * .--. .--+ | | +--*--* *--*--* . . . + | | | | + . . * *--* . . . + | | | | + . *--* * *--* . . + | | | | | | + . * . * * *--* *--+ | | | | | | +--+--+ + +--+ + +--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.42 MEM 2347700 MAXMEM 2364952 STALE 0 2013-08-16 23:23:47 2013-08-16 23:23:47 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-050.txt File = data/polarium-050.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((5,2), (6,2), (6,3), (5,3), (4,3), (3,3), (2,3), (1,3), (1,4), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (2,1), (3,1), (4,1), (4,0), (5,0), (6,0), (7,0), (7,1), (7,2), (8,2), (8,3), (9,3), (9,4), (9,5), (9,6), (8,6), (8,7), (7,7), (7,8), (7,9), (6,9), (5,9), (4,9), (4,8), (3,8), (2,8), (2,9), (1,9), (0,9), (0,8), (0,7), (0,6), (0,5), (1,5), (1,6), (2,6), (2,5), (2,4), (3,4), (3,5), (3,6), (4,6), (5,6), (5,7), (6,7), (6,6), (6,5), (7,5), (7,4), (6,4), (5,4), (5,5)) Size = 68 +--+--+--+--+ +--+--+--+--+ | | | | + . . *--* *--* . . + | | | | +--. * . .--.--. * .--+ | | | | + . * . .--.--. * . + | | | | +--* . * . . * . *--+ | | | | + * . . .--. .--. * + | | | | | | + . *--* * *--*--* . + | | | | +--.--. * .--. * .--.--+ | | + . *--* . . *--* . + | | + + + +--+--+--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.39 MEM 2348636 MAXMEM 2365888 STALE 0 2013-08-16 23:23:49 2013-08-16 23:23:49 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-051.txt File = data/polarium-051.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((0,0), (1,0), (2,0), (2,1), (2,2), (1,2), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (2,8), (1,8), (0,8), (0,9), (1,9), (2,9), (3,9), (4,9), (5,9), (6,9), (6,8), (6,7), (6,6), (5,6), (5,5), (5,4), (4,4), (3,4), (3,5), (3,6), (4,6)) Size = 37 + +--+--+--+--+--+--+ +--+ | | | | | + *--* . . . . * * + | | | | | +--*--* . . . . *--* + | + . . . *--*--* . . + | | | + . . . * . * . . + | | + . . . *--*--* . . + | | + + + + + + +--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.11 MEM 2355988 MAXMEM 2355988 STALE 0 2013-08-16 23:23:50 2013-08-16 23:23:50 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-052.txt File = data/polarium-052.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,4), (2,5), (2,6), (1,6), (1,7), (0,7), (0,8), (1,8), (1,9), (2,9), (2,8), (3,8), (3,9), (4,9), (4,8), (5,8), (5,7), (4,7), (4,6), (3,6), (3,5), (3,4), (3,3), (2,3), (1,3), (1,2), (1,1), (1,0), (2,0), (2,1), (3,1), (3,0), (4,0), (5,0), (6,0), (6,1), (6,2), (5,2), (5,1), (4,1), (4,2), (4,3), (5,3), (6,3), (6,4), (6,5), (6,6), (5,6)) Size = 48 + + + + + + + +--+ + | | +--*--*--* . . *--* *--+ | | | | +--. * . .--.--. * .--+ | | | +--. * .--.--.--. * .--+ | | | + .--.--. * * .--. .--+ | | | | | + .--. . * * . .--. + | | | | +--+--+ +--+--+--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.28 MEM 2344912 MAXMEM 2356044 STALE 0 2013-08-16 23:23:52 2013-08-16 23:23:52 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-053.txt File = data/polarium-053.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,4), (2,5), (3,5), (3,6), (3,7), (2,7), (1,7), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (3,0), (4,0), (5,0), (6,0), (6,1), (6,2), (6,3), (6,4), (5,4), (5,5), (4,5), (4,4), (3,4), (3,3), (3,2), (2,2), (1,2)) Size = 34 +--+--+--+--+--+--+--+ + + | | + . * . . . . * . + | | | + * . * .--. * . * + | | | | + * .--.--. .--.--. * + | | + . . . *--* . . . + | | + . . . *--* . . . + | | +--+--+--+--+ + + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.31 MEM 2346244 MAXMEM 2356764 STALE 0 2013-08-16 23:23:53 2013-08-16 23:23:53 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-054.txt File = data/polarium-054.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,4), (2,3), (1,3), (1,2), (1,1), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (0,8), (0,9), (1,9), (2,9), (2,8), (1,8), (1,7), (1,6), (2,6), (2,5), (3,5), (4,5), (4,4), (5,4), (6,4), (6,5), (6,6), (5,6), (4,6)) Size = 35 +--+--+--+--+--+--+--+--+--+ | | + *--*--* . . *--*--* + | | | | | | +--. * .--. .--. * .--+ | + . . . . * . . . + | + . . . *--* * . . + | | + . . . * . * . . + | | + + + + +--+--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.28 MEM 2346024 MAXMEM 2356988 STALE 0 2013-08-16 23:23:55 2013-08-16 23:23:55 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-055.txt File = data/polarium-055.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,2), (3,2), (4,2), (4,3), (5,3), (6,3), (6,2), (6,1), (5,1), (4,1), (4,0), (3,0), (2,0), (2,1), (1,1), (1,2), (1,3), (0,3), (0,4), (0,5), (0,6), (1,6), (1,7), (1,8), (0,8), (0,9), (1,9), (2,9), (3,9), (4,9), (4,8), (5,8), (6,8), (6,7), (6,6), (5,6), (4,6), (4,7), (3,7), (2,7), (2,6), (2,5), (2,4)) Size = 43 + + + +--+--+--+ + +--+ | | | | + *--*--* . . *--*--* + | | +--. . * .--.--.--. * + | | | | + . * . . . . * . + | | | | +--. .--. * * .--. .--+ | | | | + . * . * * . * . + | | | | + +--+--+ + + +--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.33 MEM 2345260 MAXMEM 2355808 STALE 0 2013-08-16 23:23:56 2013-08-16 23:23:56 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-056.txt File = data/polarium-056.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((4,7), (4,6), (5,6), (5,5), (4,5), (4,4), (3,4), (3,5), (3,6), (2,6), (2,7), (2,8), (3,8), (3,9), (2,9), (1,9), (1,8), (0,8), (0,7), (0,6), (1,6), (1,5), (0,5), (0,4), (1,4), (1,3), (0,3), (0,2), (0,1), (1,1), (1,0), (2,0), (3,0), (3,1), (2,1), (2,2), (2,3), (3,3), (4,3), (4,2), (4,1), (4,0), (5,0), (6,0), (6,1), (6,2), (6,3), (5,3), (5,4), (6,4), (6,5), (6,6), (6,7), (6,8), (6,9), (5,9)) Size = 56 + +--+--+ +--+ +--+--+ + | | | | | | +--. * .--. .--. * .--+ | | + *--*--* . . *--*--* + | | | | | | +--. * . .--.--. * .--+ | | +--.--.--. .--. .--. * + | | | + . . *--* *--* . . + | | | | +--+--+--+ +--+--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.30 MEM 2345280 MAXMEM 2355832 STALE 0 2013-08-16 23:23:58 2013-08-16 23:23:58 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-057.txt File = data/polarium-057.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((1,7), (2,7), (3,7), (3,6), (4,6), (4,7), (5,7), (5,6), (6,6), (6,5), (6,4), (6,3), (6,2), (6,1), (5,1), (5,2), (4,2), (3,2), (3,1), (4,1), (4,0), (3,0), (2,0), (2,1), (1,1), (0,1), (0,2), (0,3), (0,4), (1,4), (1,3), (2,3), (3,3), (3,4), (3,5), (2,5), (1,5), (0,5), (0,6), (0,7), (0,8), (1,8), (1,9), (2,9), (3,9), (4,9), (5,9), (5,8), (6,8)) Size = 49 + +--+--+--+ +--+--+--+ + | | | | + . * .--. . * . .--+ | | | | | +--* . * . * . * . + | | | | | + .--. .--.--. .--. * + | | | | | +--. . * * * .--. * + | | | + .--. * * * .--. .--+ | | | + +--+--+--+--+--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.32 MEM 0 MAXMEM 2355948 STALE 0 2013-08-16 23:23:59 2013-08-16 23:23:59 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-058.txt File = data/polarium-058.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((4,4), (3,4), (3,3), (4,3), (5,3), (5,4), (6,4), (6,3), (6,2), (6,1), (6,0), (5,0), (4,0), (3,0), (2,0), (1,0), (1,1), (1,2), (0,2), (0,3), (0,4), (0,5), (1,5), (1,6), (0,6), (0,7), (0,8), (1,8), (2,8), (2,9), (3,9), (4,9), (4,8)) Size = 33 + + +--+--+--+ +--+--+ + | | | | +--*--* . . *--* . * + | | + . . . . . . . *--+ | | + . . *--* . . . . + | | | | + . . * * . . . *--+ | | + . . *--* . . . . + | | +--+--+--+--+ + + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.32 MEM 2345908 MAXMEM 2356492 STALE 0 2013-08-16 23:24:01 2013-08-16 23:24:01 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-059.txt File = data/polarium-059.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((3,6), (3,7), (4,7), (5,7), (6,7), (6,8), (6,9), (5,9), (4,9), (3,9), (2,9), (2,8), (1,8), (0,8), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (2,1), (1,1), (1,2), (1,3), (2,3), (3,3), (3,2), (3,1), (3,0), (4,0), (5,0), (6,0), (6,1), (6,2), (6,3), (6,4), (5,4), (5,3), (4,3), (4,4), (3,4), (3,5), (2,5)) Size = 47 +--+--+--+--+--+--+--+--+ + | | + *--*--* . . . . * + | | | | +--* . * . * . . *--+ | | | +--.--.--. .--. .--. * + | | | | + . . *--* . . * . + | | | | + . . *--* . . * . + | | | | +--+--+--+--+ + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.11 MEM 2356396 MAXMEM 2356396 STALE 0 2013-08-16 23:24:02 2013-08-16 23:24:02 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-060.txt File = data/polarium-060.txt Solver = glucose21_simp Options = Rows = 7 Cols = 10 BEGIN_solution = 1 Solution = List((2,4), (2,5), (2,6), (3,6), (3,7), (3,8), (4,8), (5,8), (5,9), (4,9), (3,9), (2,9), (2,8), (1,8), (1,9), (0,9), (0,8), (0,7), (1,7), (1,6), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (2,1), (2,0), (3,0), (4,0), (5,0), (6,0), (6,1), (5,1), (4,1), (3,1), (3,2), (4,2), (5,2), (6,2), (6,3), (6,4), (6,5), (6,6), (6,7), (5,7), (5,6), (4,6), (4,5), (4,4), (4,3), (3,3), (2,3), (1,3), (1,2)) Size = 56 + +--+--+--+--+--+ +--+--+ | | | | + * *--* . . *--* *--+ | | | +--* . * *--*--* . *--+ | | | | + *--* * . . *--*--* + | | | | | | + . . .--.--.--. * . + | | | | | | + . . * * * .--. .--+ | | | | +--+ +--+--+--+--+--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.30 MEM 2346048 MAXMEM 2356220 STALE 0 2013-08-16 23:24:04 2013-08-16 23:24:04 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-061.txt File = data/polarium-061.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((6,5), (6,4), (7,4), (7,3), (6,3), (5,3), (5,4), (5,5), (5,6), (5,7), (6,7), (7,7), (7,6), (8,6), (8,7), (8,8), (7,8), (7,9), (8,9), (9,9), (9,8), (9,7), (9,6), (9,5), (9,4), (9,3), (8,3), (8,2), (8,1), (7,1), (7,2), (6,2), (5,2), (4,2), (3,2), (3,1), (4,1), (4,0), (3,0), (2,0), (1,0), (0,0), (0,1), (1,1), (1,2), (0,2), (0,3), (1,3), (2,3), (2,4), (2,5), (2,6), (1,6), (1,7), (0,7), (0,8), (1,8), (1,9), (2,9), (3,9), (4,9), (4,8), (4,7), (3,7), (3,8)) Size = 65 +--+ +--+ + + + +--+ + | | | | | | + .--. . * * .--. .--+ | | | | + . . *--*--*--* . . + | | + .--. * * * * .--. + | | | | | +--. . * * * * .--.--+ | + . * *--*--*--*--* . + | | | + . * * *--* . * . + | | | | + *--* *--* . *--* *--+ | | | | + .--.--. * * .--.--. + | | + + + +--+--+--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.41 MEM 2347932 MAXMEM 2365312 STALE 0 2013-08-16 23:24:06 2013-08-16 23:24:06 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-062.txt File = data/polarium-062.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,7), (8,6), (9,6), (9,7), (9,8), (8,8), (8,9), (7,9), (6,9), (5,9), (5,8), (6,8), (7,8), (7,7), (7,6), (6,6), (5,6), (5,7), (4,7), (4,8), (3,8), (3,9), (2,9), (1,9), (0,9), (0,8), (1,8), (2,8), (2,7), (2,6), (1,6), (1,5), (0,5), (0,4), (1,4), (2,4), (2,3), (2,2), (3,2), (4,2), (4,3), (4,4), (3,4), (3,5), (3,6), (4,6), (4,5), (5,5), (5,4), (6,4), (7,4), (7,5), (8,5), (9,5), (9,4), (8,4), (8,3), (8,2), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (4,0), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (1,2), (1,1)) Size = 74 +--+--+ + +--+ + + +--+ | | | | | | + *--* . * *--* . * + | | | | | + * .--.--. * .--.--. + | | | + * . * .--.--. * .--+ | | | | | + * .--.--. .--. .--. + | | | + . . . *--* *--* *--+ | | | | | + . . . * . * . * + | | | | | + . . . *--* *--*--* + | | | + * .--.--. . .--. .--+ | | | | | | +--+--+ + +--+ +--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.55 MEM 2347256 MAXMEM 2365088 STALE 0 2013-08-16 23:24:09 2013-08-16 23:24:09 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-063.txt File = data/polarium-063.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,8), (4,9), (5,9), (6,9), (7,9), (8,9), (9,9), (9,8), (9,7), (8,7), (8,6), (7,6), (6,6), (6,5), (5,5), (4,5), (4,4), (5,4), (6,4), (7,4), (8,4), (9,4), (9,3), (8,3), (8,2), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (5,1), (5,2), (4,2), (4,3), (3,3), (3,2), (2,2), (2,1), (3,1), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (1,4), (1,5), (0,5), (0,6), (0,7), (0,8), (0,9), (1,9), (2,9), (2,8), (2,7), (3,7), (4,7), (4,6), (3,6)) Size = 64 +--+--+--+--+ +--+--+--+--+ | | | | + . . . *--* . . . + | | + .--. * * * * .--.--+ | | | | +--. .--. * * . . * + | | | + . *--* *--* *--* *--+ | | | | +--*--* . * * . . . + | | | | + . . . * *--* . . + | | | | + . . . * . * . . + | | | | + . *--* * . *--* . + | | | | | | +--+--+ +--+ + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.40 MEM 2347324 MAXMEM 2364576 STALE 0 2013-08-16 23:24:11 2013-08-16 23:24:11 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-064.txt File = data/polarium-064.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((5,5), (5,4), (6,4), (6,3), (5,3), (5,2), (4,2), (4,3), (4,4), (3,4), (2,4), (2,3), (2,2), (3,2), (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,4), (7,5), (6,5), (6,6), (6,7), (7,7), (7,6), (8,6), (9,6), (9,7), (8,7), (8,8), (9,8), (9,9), (8,9), (7,9), (6,9), (6,8), (5,8), (4,8), (4,9), (3,9), (2,9), (1,9), (1,8), (1,7), (1,6), (1,5), (0,5), (0,4), (0,3), (1,3), (1,2), (1,1), (0,1), (0,0), (1,0)) Size = 64 +--+ + +--+--+ + + + + | | | | + *--*--* . *--*--*--*--+ | + * .--.--. * * * * + | | | + .--. * . * * * * + | | | +--. .--.--. * * * .--+ | | | + * .--. .--. * * . + | | | | + * * .--. .--.--. .--+ | | | | + * * .--.--. .--. * + | | | | + * .--. * * . .--. + | | | | | | +--+--+ + + + +--+ +--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.35 MEM 2347748 MAXMEM 2364940 STALE 0 2013-08-16 23:24:14 2013-08-16 23:24:14 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-065.txt File = data/polarium-065.txt Solver = glucose21_simp Options = Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((7,2), (7,3), (6,3), (6,2), (5,2), (5,3), (4,3), (4,2), (3,2), (2,2), (2,3), (1,3), (1,2), (0,2), (0,3), (0,4), (1,4), (1,5), (2,5), (2,4), (3,4), (4,4), (4,5), (5,5), (5,4), (6,4), (6,5)) Size = 27 + + +--+--+ + + + | | + . *--* *--* . + | | + * .--. .--. * + | | + * . * . * * + | | + * .--. .--. * + | | + * .--. .--. * + | | + . *--* *--* . + | + + +--+ + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.09 MEM 2345084 MAXMEM 2354996 STALE 0 2013-08-16 23:24:15 2013-08-16 23:24:15 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-066.txt File = data/polarium-066.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((9,6), (8,6), (8,7), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (5,9), (4,9), (3,9), (3,8), (3,7), (2,7), (2,8), (2,9), (1,9), (1,8), (0,8), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (1,0), (2,0), (3,0), (3,1), (2,1), (2,2), (3,2), (4,2), (5,2), (5,3), (6,3), (7,3), (8,3), (8,2), (9,2), (9,3), (9,4), (9,5), (8,5), (8,4), (7,4), (7,5), (7,6), (6,6), (5,6), (5,7), (4,7), (4,6), (4,5), (3,5), (3,4)) Size = 59 + +--+--+--+--+--+--+--+ + | | +--* . . . . . . *--+ | | + .--. * * * * .--.--+ | | | | +--. . * .--. * .--.--+ | | | + * . * * .--.--. * + | | | + * .--. * * .--. * + | | | + . . * . . * . . + | | | + . . * *--*--* . . + | | | + * .--. .--. .--. * + | | | | | + + +--+--+--+ + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.19 MEM 2353704 MAXMEM 2364556 STALE 0 2013-08-16 23:24:17 2013-08-16 23:24:17 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-067.txt File = data/polarium-067.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((7,0), (8,0), (9,0), (9,1), (9,2), (9,3), (9,4), (9,5), (9,6), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (5,9), (5,8), (6,8), (6,7), (7,7), (7,8), (8,8), (8,7), (8,6), (7,6), (7,5), (6,5), (6,6), (5,6), (5,7), (4,7), (4,8), (4,9), (3,9), (2,9), (1,9), (0,9), (0,8), (0,7), (0,6), (0,5), (0,4), (1,4), (1,5), (2,5), (3,5), (4,5), (5,5), (5,4), (4,4), (4,3), (4,2), (5,2), (5,1), (4,1), (4,0), (5,0), (6,0), (6,1), (6,2), (6,3), (7,3), (8,3), (8,2), (7,2), (7,1), (8,1)) Size = 67 + + + + +--+--+--+--+--+ | | + . . . *--* . . . + | | + . . . . * . . . + | | + . . . . * . . . + | | +--. .--.--. . * .--.--+ | | | | | | + .--. * .--. .--. .--+ | | | | +--.--.--. * .--. .--. + | | | | + .--. . * .--. .--. + | | | | | | | + . .--. * * .--.--. + | | +--+--+--+--+--+--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.75 MEM 2357136 MAXMEM 2366560 STALE 0 2013-08-16 23:24:20 2013-08-16 23:24:20 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-068.txt File = data/polarium-068.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,8), (5,8), (5,7), (5,6), (4,6), (3,6), (3,5), (4,5), (4,4), (3,4), (3,3), (4,3), (5,3), (5,2), (5,1), (6,1), (6,2), (7,2), (7,3), (7,4), (8,4), (9,4), (9,3), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (4,0), (4,1), (3,1), (2,1), (1,1), (1,2), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (1,8), (1,9), (2,9), (2,8), (3,8), (3,9), (4,9), (5,9), (6,9), (6,8), (6,7), (7,7), (7,6), (7,5), (8,5), (9,5), (9,6)) Size = 60 + + +--+--+--+--+--+ + + | | + *--* . . . . *--*--+ | | + * . . . . . . *--+ | | + . * .--. .--. * .--+ | | | | | | +--. * . .--. . * . + | | | | | + .--.--. * * .--.--. + | | | + .--. * * * * .--.--+ | | | + * .--.--. .--.--. * + | | | + . . . * * . . . + | | | +--+--+--+--+ +--+ + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.36 MEM 2356636 MAXMEM 2364940 STALE 0 2013-08-16 23:24:23 2013-08-16 23:24:23 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-069.txt File = data/polarium-069.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((2,6), (2,7), (3,7), (4,7), (4,6), (5,6), (5,5), (4,5), (4,4), (5,4), (5,3), (4,3), (4,2), (3,2), (2,2), (2,3), (1,3), (1,4), (2,4), (2,5), (1,5), (1,6), (0,6), (0,7), (0,8), (1,8), (2,8), (3,8), (4,8), (5,8), (6,8), (7,8), (8,8), (8,7), (8,6), (7,6), (7,5), (8,5), (8,4), (7,4), (7,3), (8,3), (8,2), (8,1), (8,0), (7,0), (7,1), (6,1), (5,1), (5,0), (4,0), (3,0), (2,0), (1,0), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5)) Size = 60 + +--+--+--+--+ +--+--+ | | | +--* . *--* *--* . + | | | | | + * .--. .--. .--. + | | | | + * . * * * * . + | | | | + * .--. .--. .--. + | | | | | | +--* . *--* *--* . + | | + * . . . . . . + | | +--* . *--* *--* . + | | | | | | +--+--+--+ +--+ +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.61 MEM 2357388 MAXMEM 2362300 STALE 0 2013-08-16 23:24:24 2013-08-16 23:24:24 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-070.txt File = data/polarium-070.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,4), (9,4), (9,3), (8,3), (8,2), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (4,0), (3,0), (2,0), (1,0), (1,1), (1,2), (0,2), (0,3), (1,3), (2,3), (2,4), (3,4), (3,3), (3,2), (4,2), (4,1), (5,1), (6,1), (7,1), (7,2), (7,3), (7,4), (6,4), (6,3), (5,3), (5,4), (4,4), (4,5), (3,5), (3,6), (4,6), (4,7), (5,7), (5,6), (5,5), (6,5), (6,6), (6,7), (7,7), (7,6), (7,5), (8,5), (8,6), (9,6), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (5,9), (4,9), (3,9), (2,9), (1,9), (0,9), (0,8), (0,7), (1,7), (2,7)) Size = 72 + + +--+ + + + +--+--+ | | | | +--*--* * . . . * . + | | | | + * * .--. * * . * + | | | + * .--.--. .--. * * + | | | | | + .--. * .--. .--. * + | | | | | + . * .--. .--.--. * + | | | | | + . * .--. .--.--. * + | | | | | + .--.--.--. .--.--. * + | | | + * .--. . .--. * * + | | | | | | +--+--+ +--+ + +--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.34 MEM 2357544 MAXMEM 2365744 STALE 0 2013-08-16 23:24:27 2013-08-16 23:24:27 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-071.txt File = data/polarium-071.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,8), (4,7), (5,7), (6,7), (7,7), (8,7), (9,7), (9,6), (9,5), (9,4), (9,3), (9,2), (9,1), (9,0), (8,0), (8,1), (8,2), (8,3), (8,4), (8,5), (7,5), (6,5), (5,5), (4,5), (3,5), (2,5), (2,6), (2,7), (2,8), (2,9), (1,9), (0,9), (0,8), (0,7), (0,6), (0,5), (0,4), (0,3), (1,3), (2,3), (3,3), (4,3), (5,3), (6,3), (6,2), (6,1), (6,0), (5,0), (4,0), (4,1), (3,1), (2,1), (2,0), (1,0), (1,1), (0,1), (0,0)) Size = 57 +--+ + +--+--+--+--+--+--+ | | | +--* . * . . . . . + | | | +--. * . * .--.--.--.--+ | | | + * . * . * . . . + | | | +--. * . * . * .--. + | | | | + . . * . * . * . + | | | | +--.--.--. * . * . * + | | + . . . . * . * . + | | +--.--.--.--.--. * . * + | | +--+--+--+--+--+--+--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.36 MEM 2357148 MAXMEM 2365456 STALE 0 2013-08-16 23:24:29 2013-08-16 23:24:29 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-072.txt File = data/polarium-072.txt Solver = glucose21_simp Options = Rows = 10 Cols = 8 BEGIN_solution = 1 Solution = List((6,7), (7,7), (8,7), (9,7), (9,6), (9,5), (9,4), (9,3), (8,3), (7,3), (7,4), (8,4), (8,5), (7,5), (6,5), (6,6), (5,6), (4,6), (4,7), (3,7), (2,7), (1,7), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (3,0), (4,0), (5,0), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (8,2), (7,2), (6,2), (6,1), (5,1), (4,1), (3,1), (3,2), (2,2), (1,2), (1,3), (2,3), (2,4), (1,4), (1,5), (2,5), (3,5), (3,6)) Size = 59 +--+--+--+--+--+--+--+ | | + . *--* *--* . + | | | | | | + * . .--. . * + | | | | + .--. * * .--. + | | | + * . . . . *--+ | | | + . * * * * . + | | | + *--* . . *--* + | | | | + . * *--* * . + | | | | | | + * . . .--. * + | | | | +--+--+ +--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.08 MEM 2362396 MAXMEM 2362396 STALE 0 2013-08-16 23:24:31 2013-08-16 23:24:31 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-073.txt File = data/polarium-073.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,7), (3,7), (3,8), (4,8), (5,8), (5,7), (6,7), (7,7), (8,7), (9,7), (9,8), (9,9), (8,9), (7,9), (7,8), (6,8), (6,9), (5,9), (4,9), (3,9), (2,9), (2,8), (2,7), (1,7), (0,7), (0,6), (0,5), (1,5), (2,5), (3,5), (4,5), (5,5), (6,5), (7,5), (8,5), (8,4), (7,4), (6,4), (5,4), (4,4), (3,4), (2,4), (1,4), (0,4), (0,3), (0,2), (1,2), (2,2), (2,1), (2,0), (3,0), (4,0), (4,1), (3,1), (3,2), (4,2), (5,2), (6,2), (6,1), (7,1), (7,2), (8,2), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (5,1)) Size = 70 + + +--+--+ +--+--+ + + | | | | + * . * . . * . * + | | | | +--.--. * . . * .--.--+ | | | | + *--* . * * . *--* + | | | | | | | | +--. . * . . * . . + | | | | | +--. . * . . * .--. + | | | | | | + *--* . * * . * *--+ | | | | | | + .--. * . . * . .--+ | | | | | | + * . * .--. * . * + | | | | +--+--+ + + + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.50 MEM 2349516 MAXMEM 2364832 STALE 0 2013-08-16 23:24:34 2013-08-16 23:24:34 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-074.txt File = data/polarium-074.txt Solver = glucose21_simp Options = 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), (2,5), (3,5), (3,4), (3,3), (4,3), (5,3), (6,3), (6,4), (6,5), (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)) Size = 58 + +--+--+ + + +--+--+ + | | | | +--* . * . . * . *--+ | | | | + . . *--*--* * . . + | | | | + * * .--.--. . * * + | | | | +--. * . * * . * . + | | | | +--. * . * * . * .--+ | | | | + * * .--.--.--. * * + | | +--.--. * * * * .--.--+ | | + * . * .--. * . * + | | | | + + +--+--+ +--+--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.90 MEM 2363440 MAXMEM 2364188 STALE 0 2013-08-16 23:24:36 2013-08-16 23:24:36 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-075.txt File = data/polarium-075.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((0,0), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (0,8), (0,9), (1,9), (1,8), (1,7), (2,7), (2,6), (2,5), (2,4), (3,4), (3,5), (3,6), (4,6), (5,6), (6,6), (6,5), (6,4), (6,3), (5,3), (4,3), (3,3), (2,3), (2,2), (1,2), (1,1), (1,0), (2,0), (3,0), (4,0), (5,0), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (9,3), (9,4), (9,5), (9,6), (9,7), (9,8), (9,9), (8,9), (8,8), (8,7), (7,7), (7,6), (7,5), (7,4), (7,3), (7,2), (8,2), (8,1)) Size = 62 +--+--+--+--+--+--+--+--+--+ | +--*--* . . . . *--*--+ | | | + * .--. .--.--.--. * + | | | + . . * *--*--* . . + | | | + . . * . . * . . + | | | + . . * . . * . . + | | | + . . *--*--*--* . . + | + * .--.--.--.--.--. * + | | | + *--* . . . . *--*--+ | | +--+--+--+--+--+--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.20 MEM 2356868 MAXMEM 2364840 STALE 0 2013-08-16 23:24:38 2013-08-16 23:24:38 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-076.txt File = data/polarium-076.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((9,6), (8,6), (8,5), (7,5), (6,5), (5,5), (4,5), (3,5), (2,5), (2,4), (3,4), (4,4), (5,4), (6,4), (7,4), (8,4), (8,3), (9,3), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (6,1), (7,1), (7,2), (6,2), (5,2), (4,2), (3,2), (3,1), (2,1), (2,2), (1,2), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (0,8), (1,8), (1,9), (2,9), (3,9), (4,9), (5,9), (6,9), (6,8), (7,8), (7,7), (6,7), (5,7), (4,7), (3,7), (3,8), (2,8), (2,7), (1,7)) Size = 62 + +--+--+--+--+--+--+--+ + | | + *--* . . . . * *--+ | | | + *--* . *--* . *--* + | | | | | + .--. * . . * .--. + | | | | | + . * . * * . * . + | | | | | + . * . * * . * . + | | | | | +--. . * . . * . .--+ | | | | | | | + *--* . * * . *--* + | | | + * * .--. .--. * * + | | | +--+--+--+ + + + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.20 MEM 2356832 MAXMEM 2364800 STALE 0 2013-08-16 23:24:40 2013-08-16 23:24:40 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-077.txt File = data/polarium-077.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((3,6), (4,6), (5,6), (5,5), (5,4), (4,4), (3,4), (3,5), (2,5), (1,5), (1,6), (0,6), (0,5), (0,4), (0,3), (0,2), (1,2), (1,3), (2,3), (3,3), (3,2), (4,2), (5,2), (5,3), (6,3), (7,3), (7,2), (8,2), (8,3), (8,4), (8,5), (8,6), (7,6), (7,5), (6,5)) Size = 35 + + +--+--+--+--+ + + | | + . *--* . *--* . + | | + * * . * . * * + | | + * .--. .--. . * + | | | + . * . * . * . + | | | + * .--. .--.--. * + | + * * . * . * * + | | + . *--* . *--* . + | | + + +--+--+--+--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.48 MEM 2356180 MAXMEM 2362624 STALE 0 2013-08-16 23:24:42 2013-08-16 23:24:42 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-078.txt File = data/polarium-078.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (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), (4,0), (5,0), (6,0), (6,1), (7,1), (7,2), (8,2), (8,3), (8,4), (7,4), (6,4), (5,4), (5,5), (4,5), (4,6), (3,6), (2,6), (2,5), (1,5), (0,5), (0,6), (0,7), (0,8), (1,8), (2,8), (3,8), (3,7), (4,7), (4,8), (5,8), (6,8), (6,7), (7,7), (7,6), (8,6), (8,5)) Size = 52 +--+--+--+ + +--+--+--+ | | | | + . . * . * . . + | | | | + . *--* . *--* . + | | | | +--* * . . . * *--+ | | | | +--. .--. * .--. .--+ | | | | + * * . .--. * * + | | | +--. * * . * * .--+ | | | + .--. * . * .--. + | | | + + +--+--+ +--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.70 MEM 0 MAXMEM 2363272 STALE 0 2013-08-16 23:24:44 2013-08-16 23:24:44 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-079.txt File = data/polarium-079.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((2,7), (3,7), (4,7), (5,7), (6,7), (7,7), (8,7), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (5,9), (5,8), (4,8), (4,9), (3,9), (2,9), (1,9), (1,8), (0,8), (0,7), (0,6), (1,6), (1,5), (2,5), (3,5), (4,5), (5,5), (6,5), (7,5), (7,4), (6,4), (5,4), (4,4), (3,4), (2,4), (1,4), (1,3), (0,3), (0,2), (0,1), (1,1), (1,0), (2,0), (3,0), (4,0), (5,0), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (8,2), (7,2), (6,2), (5,2), (5,1), (4,1), (4,2), (3,2), (2,2)) Size = 64 + +--+--+ + + +--+--+ + | | | | +--. * .--. .--. * .--+ | | | | + * . * . . * . * + | | | | | | + . * . * * . * . + | | | | | | + .--. * . . * . .--+ | | | | | | + .--. * . . * . .--+ | | | | | | + . * . * * . * . + | | | | | | + * . * .--. * . * + | | | | + . * . . . . * . + | | | | +--+--+ + + + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.21 MEM 2356196 MAXMEM 2364168 STALE 0 2013-08-16 23:24:46 2013-08-16 23:24:46 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-080.txt File = data/polarium-080.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((6,7), (6,8), (5,8), (4,8), (3,8), (3,7), (2,7), (2,6), (1,6), (1,5), (1,4), (1,3), (2,3), (2,2), (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), (0,8), (1,8), (1,9), (2,9), (3,9), (4,9), (5,9), (6,9), (7,9), (7,8), (8,8), (8,9), (9,9), (9,8), (9,7), (9,6), (8,6), (8,5), (7,5), (6,5), (5,5), (5,6), (4,6), (4,5), (3,5), (3,4), (4,4), (4,3), (5,3), (5,4), (6,4), (7,4), (8,4), (8,3), (9,3), (9,2), (9,1), (9,0), (8,0), (8,1), (7,1), (7,0), (6,0), (5,0), (5,1), (6,1), (6,2)) Size = 76 + +--+--+--+--+--+--+--+ + | | +--. * .--.--.--. * .--+ | | | | + * .--. * * .--. * + | | | | + .--. * .--. * .--. + | | | | | | +--. * .--. .--. * . + | | | | +--. * .--. .--. * . + | | | | | | + .--. * . . * .--. + | | | | +--* . . * * . . *--+ | | | | +--. * .--. .--. * .--+ | | | | +--+--+--+ + + +--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.57 MEM 2347888 MAXMEM 2365248 STALE 0 2013-08-16 23:24:49 2013-08-16 23:24:49 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-081.txt File = data/polarium-081.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (4,3), (3,3), (2,3), (2,4), (2,5), (3,5), (3,4), (4,4), (5,4), (5,5), (4,5), (4,6), (4,7), (3,7), (3,8), (2,8), (1,8), (1,7), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (0,1), (1,1), (1,0), (2,0), (3,0), (3,1), (4,1), (5,1), (6,1), (6,2), (7,2), (8,2), (8,3), (7,3), (7,4), (7,5), (7,6), (8,6), (8,7), (8,8), (7,8), (6,8), (5,8), (5,7), (6,7), (6,6)) Size = 51 + +--+--+--+--+--+--+ + | | +--* . . . . . *--+ | | + . . *--*--* . . + | | | | +--. * . .--. * .--+ | | | | + . * . . .--.--. + | | | | + . * . .--. * .--+ | | | + .--. * * * .--. + | | + * . .--.--.--. * + | | | | + + +--+ + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.70 MEM 6172 MAXMEM 2361088 STALE 0 2013-08-16 23:24:50 2013-08-16 23:24:50 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-082.txt File = data/polarium-082.txt Solver = glucose21_simp Options = Rows = 10 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (5,2), (6,2), (7,2), (8,2), (8,3), (7,3), (6,3), (6,4), (6,5), (7,5), (8,5), (8,4), (9,4), (9,3), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (4,0), (4,1), (3,1), (2,1), (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), (2,7), (3,7), (4,7), (4,8), (5,8), (6,8), (7,8), (8,8), (9,8), (9,7), (9,6), (8,6), (7,6), (6,6), (5,6), (5,5), (4,5), (4,4), (4,3), (3,3), (2,3), (2,4), (2,5), (3,5), (3,4)) Size = 64 + +--+--+--+--+--+--+ + | | +--* . . . . . *--+ | | +--* . *--*--* . *--+ | | | | + * . * *--* . * + | | | +--* . *--*--* . *--+ | | | + * .--. * .--. * + | | | | + * . .--.--. . * + | | | | | | + * . . * . . * + | | | | | | + * .--. .--. . * + | | | | +--+--+--+--+ + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.96 MEM 2349900 MAXMEM 2364312 STALE 0 2013-08-16 23:24:52 2013-08-16 23:24:52 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-083.txt File = data/polarium-083.txt Solver = glucose21_simp Options = Rows = 10 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (5,2), (6,2), (6,3), (6,4), (6,5), (7,5), (8,5), (8,4), (8,3), (7,3), (7,2), (8,2), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (4,0), (4,1), (3,1), (2,1), (2,0), (1,0), (1,1), (0,1), (0,2), (0,3), (0,4), (0,5), (0,6), (0,7), (1,7), (2,7), (2,8), (3,8), (3,7), (4,7), (4,8), (5,8), (6,8), (7,8), (8,8), (9,8), (9,7), (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 = 59 + +--+--+--+--+--+--+ + | | +--* . . . . . * + | | +--* . *--*--* . *--+ | | | | + * . * . * . *--+ | | | +--* . . . * . *--+ | | | + * .--. * .--. * + | | | | + * .--.--.--. . * + | | | | + * .--. * . . * + | | | | | | + * . .--.--. . * + | | | | +--+--+ + + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.76 MEM 2358848 MAXMEM 2364600 STALE 0 2013-08-16 23:24:54 2013-08-16 23:24:54 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-084.txt File = data/polarium-084.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (6,3), (6,2), (7,2), (8,2), (8,3), (8,4), (8,5), (8,6), (7,6), (7,7), (7,8), (6,8), (5,8), (4,8), (3,8), (2,8), (1,8), (0,8), (0,7), (0,6), (0,5), (1,5), (2,5), (3,5), (3,4), (3,3), (2,3), (1,3), (1,4), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (3,0), (4,0), (5,0), (6,0), (7,0), (7,1), (6,1), (5,1), (5,2), (4,2), (4,3), (4,4), (4,5), (4,6), (5,6), (5,5), (6,5), (6,6), (6,7), (5,7)) Size = 57 +--+--+--+--+ +--+--+--+ | | | | + . . *--* * . . + | | | | + . . * . * . . + | | | | + * * .--.--. * * + | | + * .--.--.--.--. * + | | | | + *--* * . *--* * + | | | | | | + . .--. * .--.--. + | | | | +--. . * * * .--.--+ | | + + +--+--+--+--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.70 MEM 6172 MAXMEM 2361420 STALE 0 2013-08-16 23:24:56 2013-08-16 23:24:56 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-085.txt File = data/polarium-085.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (6,3), (7,3), (7,2), (7,1), (8,1), (8,0), (7,0), (6,0), (5,0), (5,1), (4,1), (4,0), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (1,2), (1,3), (2,3), (2,2), (3,2), (3,3), (3,4), (3,5), (3,6), (2,6), (2,5), (1,5), (1,6), (0,6), (0,7), (0,8), (1,8), (2,8), (3,8), (4,8), (4,7), (5,7), (5,8), (6,8), (7,8), (7,7), (8,7), (8,6), (7,6), (7,5), (6,5), (5,5), (5,4)) Size = 52 +--+--+ + + + +--+--+ | | | | + . *--* . *--* . + | | | | + * .--. * .--. * + | | | | + * .--.--.--.--. * + | | +--* . . . . . *--+ | | +--. * . .--. * .--+ | | | | + . . * . * . . + | | | | + .--.--. * .--. .--+ | | | | +--+ + + + + +--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.72 MEM 2348476 MAXMEM 2361480 STALE 0 2013-08-16 23:24:58 2013-08-16 23:24:58 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-086.txt File = data/polarium-086.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((4,0), (5,0), (6,0), (6,1), (6,2), (6,3), (7,3), (7,4), (7,5), (6,5), (5,5), (5,6), (6,6), (6,7), (6,8), (5,8), (4,8), (3,8), (2,8), (2,7), (2,6), (3,6), (4,6), (4,5), (4,4), (4,3), (5,3), (5,2), (4,2), (3,2), (2,2), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (1,4), (2,4)) Size = 41 +--+--+--+--+ + + + + | | + . . . * . . . + | | +--.--. * . * .--.--+ | | | + . * . . . * . + | | | + * . .--.--.--. * + | | | | + . *--* . *--* . + | | | | +--.--.--. * . .--.--+ | | + . . *--*--* . . + + + + + + + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.69 MEM 2349528 MAXMEM 2361496 STALE 0 2013-08-16 23:25:00 2013-08-16 23:25:00 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-087.txt File = data/polarium-087.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((2,5), (3,5), (3,4), (3,3), (2,3), (1,3), (0,3), (0,4), (0,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), (8,8), (8,7), (7,7), (7,6), (7,5), (6,5), (5,5), (5,4), (5,3), (6,3), (7,3), (7,2), (8,2), (8,1), (7,1), (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), (1,1)) Size = 50 +--+--+ +--+--+ + + + | | | | + .--. . * .--.--.--+ | | | + . . * . * . . + | | | | +--. * .--.--. * .--+ | | + * . . . . . * + | | +--. * .--.--. * .--+ | | | | + . . * . * . . + | | | | +--. .--. * .--.--. + | | | | + +--+ + + + + +--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.65 MEM 2348220 MAXMEM 2361156 STALE 0 2013-08-16 23:25:01 2013-08-16 23:25:01 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-088.txt File = data/polarium-088.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((6,6), (7,6), (7,5), (8,5), (8,6), (8,7), (7,7), (7,8), (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), (0,1), (1,1), (1,0), (2,0), (3,0), (3,1), (4,1), (5,1), (5,0), (6,0), (7,0), (7,1), (8,1), (8,2), (8,3), (7,3), (7,2), (6,2), (5,2), (5,3), (6,3), (6,4), (6,5), (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)) Size = 58 + +--+--+--+--+--+--+ + | | +--. * .--.--. * .--+ | | | | + . . * . * . . + | | | | +--. .--. * .--.--. + | | | + . * * * * * . + | | | +--. .--. * .--.--. + | | | | | + . * *--*--* * . + | | | | +--. .--. * .--. .--+ | | | | + +--+--+ + +--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.61 MEM 2362788 MAXMEM 2362788 STALE 0 2013-08-16 23:25:03 2013-08-16 23:25:03 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-089.txt File = data/polarium-089.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((5,3), (5,2), (5,1), (4,1), (3,1), (3,0), (4,0), (5,0), (6,0), (7,0), (7,1), (8,1), (8,2), (8,3), (7,3), (7,2), (6,2), (6,3), (6,4), (5,4), (5,5), (6,5), (6,6), (7,6), (7,5), (8,5), (8,6), (8,7), (7,7), (7,8), (6,8), (5,8), (5,7), (4,7), (3,7), (3,8), (2,8), (1,8), (0,8), (0,7), (0,6), (0,5), (0,4), (1,4), (2,4), (2,5), (2,6), (3,6), (3,5), (3,4), (3,3), (2,3), (2,2)) Size = 53 + + + + +--+--+--+--+ | | + . . . * . . . + | | + . *--* *--*--* . + | | | +--. * .--.--.--. .--+ | | | + . * * * * * . + | | | + .--.--. .--. * .--+ | | | | + . *--*--* *--* . + | | | | +--. .--. * .--. .--+ | | | | + +--+--+ + +--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.61 MEM 2355344 MAXMEM 2362356 STALE 0 2013-08-16 23:25:05 2013-08-16 23:25:05 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-090.txt File = data/polarium-090.txt Solver = glucose21_simp Options = Rows = 9 Cols = 9 BEGIN_solution = 1 Solution = List((6,7), (6,8), (7,8), (8,8), (8,7), (8,6), (7,6), (7,5), (7,4), (7,3), (8,3), (8,2), (8,1), (8,0), (7,0), (6,0), (5,0), (5,1), (4,1), (4,0), (3,0), (2,0), (2,1), (3,1), (3,2), (3,3), (2,3), (1,3), (0,3), (0,4), (0,5), (1,5), (1,4), (2,4), (3,4), (3,5), (2,5), (2,6), (1,6), (0,6), (0,7), (0,8), (1,8), (2,8), (3,8), (4,8), (4,7), (4,6), (4,5), (5,5), (5,4), (4,4), (4,3), (5,3), (5,2), (6,2)) Size = 56 + + + +--+--+ +--+--+ | | | | + . . * *--* * . + | | | | +--. * . . .--. * + | | | | | | + *--*--* *--* . . + | | +--. * .--. .--.--.--+ | | | | +--* *--* *--* . . + | | + . * . . . . *--+ | | + . . *--*--*--* . + | | | | +--+--+--+ + + +--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.70 MEM 2349136 MAXMEM 2362136 STALE 0 2013-08-16 23:25:07 2013-08-16 23:25:07 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-091.txt File = data/polarium-091.txt Solver = glucose21_simp Options = 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), (9,3), (9,4), (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), (0,8), (0,9), (1,9), (2,9), (3,9), (3,8)) Size = 46 + + + + + + + + +--+ | | +--*--* . . . . *--* + | | | | + * .--. * * .--. * + | | | | +--* . * . . * . *--+ | | + * .--. * * .--. * + | | + *--* . . . . *--* + | | + . * * .--. * * . + | | | | + .--. * . . * .--. + | | | | + * .--. . .--.--. * + | | + + + +--+ + + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.07 MEM 2356380 MAXMEM 2363812 STALE 0 2013-08-16 23:25:09 2013-08-16 23:25:09 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-092.txt File = data/polarium-092.txt Solver = glucose21_simp Options = Rows = 10 Cols = 9 BEGIN_solution = 1 Solution = List((6,5), (7,5), (8,5), (9,5), (9,6), (9,7), (8,7), (8,8), (7,8), (7,7), (6,7), (6,8), (5,8), (4,8), (3,8), (2,8), (1,8), (0,8), (0,7), (0,6), (0,5), (0,4), (0,3), (0,2), (1,2), (1,3), (1,4), (2,4), (2,5), (3,5), (4,5), (4,6), (5,6), (5,5), (5,4), (4,4), (4,3), (4,2), (5,2), (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), (4,1), (3,1), (2,1), (2,2), (2,3), (3,3)) Size = 60 + + +--+--+--+--+--+--+ | | + * .--.--. * * * + | | + .--.--. .--. * * + | | | | + . * . * . * * + | | | +--. .--.--. .--. * + | | | | | + * .--. .--.--. * + | | | +--* . * . * . *--+ | | | | +--* . * . * . *--+ | | | | + * * . * . * .--+ | | | | +--+--+--+ + +--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.74 MEM 2359360 MAXMEM 2365112 STALE 0 2013-08-16 23:25:11 2013-08-16 23:25:11 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-093.txt File = data/polarium-093.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,9), (7,9), (6,9), (5,9), (4,9), (3,9), (3,8), (2,8), (2,7), (1,7), (1,8), (1,9), (0,9), (0,8), (0,7), (0,6), (0,5), (1,5), (2,5), (2,4), (1,4), (0,4), (0,3), (0,2), (0,1), (1,1), (1,2), (2,2), (2,1), (3,1), (3,0), (4,0), (5,0), (5,1), (5,2), (4,2), (4,3), (3,3), (3,4), (4,4), (4,5), (3,5), (3,6), (4,6), (4,7), (5,7), (5,8), (6,8), (7,8), (8,8), (9,8), (9,7), (9,6), (8,6), (7,6), (7,5), (7,4), (7,3), (8,3), (9,3), (9,2), (9,1), (8,1), (8,0), (7,0), (6,0), (6,1), (7,1)) Size = 68 + +--+--+--+ +--+--+--+--+ | | | | + *--* . * * . *--*--+ | | | | + *--* . *--* . *--* + | | +--. * .--. .--. * .--+ | | | | | | + * .--. .--. .--. * + | | | | +--*--* . . . . *--* + | | +--* . . . . . . * + | | | | + . * .--.--.--. * . + | | | | | +--* . * . . * . * + | | | | + +--+--+ + + +--+--+ + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.35 MEM 2356192 MAXMEM 2364564 STALE 0 2013-08-16 23:25:13 2013-08-16 23:25:13 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-094.txt File = data/polarium-094.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((0,0), (0,1), (1,1), (1,0), (2,0), (2,1), (2,2), (2,3), (2,4), (3,4), (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), (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 = 48 +--+ + + + + +--+--+--+ | | | +--* . . . . * . . + | | | +--*--*--*--* *--* . . + | | | + * .--.--. . * * * + | | | + * . * .--. * . * + | | | | + * .--. .--. * . * + | | | | + * .--. * . * . * + | | | | + * .--.--.--. * . * + | | + * * * * * * .--.--+ + + + + + + + + + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.21 MEM 2354204 MAXMEM 2365052 STALE 0 2013-08-16 23:25:16 2013-08-16 23:25:16 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-095.txt File = data/polarium-095.txt Solver = glucose21_simp Options = Rows = 8 Cols = 8 BEGIN_solution = 1 Solution = List((4,1), (4,0), (5,0), (6,0), (7,0), (7,1), (7,2), (7,3), (6,3), (6,2), (5,2), (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 NumOfSolutions >= 1 FINISHED CPU 2.13 MEM 2343340 MAXMEM 2353772 STALE 0 2013-08-16 23:25:17 2013-08-16 23:25:17 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-096.txt File = data/polarium-096.txt Solver = glucose21_simp Options = Rows = 9 Cols = 10 BEGIN_solution = 1 Solution = List((2,2), (3,2), (3,3), (3,4), (2,4), (1,4), (1,5), (0,5), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (2,0), (3,0), (3,1), (4,1), (4,0), (5,0), (6,0), (7,0), (7,1), (7,2), (7,3), (8,3), (8,4), (8,5), (7,5), (7,6), (8,6), (8,7), (7,7), (6,7), (6,8), (5,8), (4,8), (3,8), (2,8), (2,9), (1,9), (1,8), (0,8), (0,7), (1,7), (1,6), (2,6), (3,6), (4,6), (5,6), (6,6), (6,5), (6,4), (5,4), (4,4)) Size = 55 +--+--+--+--+--+ + +--+ + | | | | + . . . *--* *--* *--+ | | | | + . * . * . * . *--+ | | | | | +--. .--.--. * . * . + | | | +--* . . * . * . * + | | | | + * * * . * . * . + | | | | + * * * .--.--. .--. + | | +--*--*--* . *--* * . + | | | | + + + +--+--+ +--+ + + END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 2.80 MEM 2350216 MAXMEM 2364208 STALE 0 2013-08-16 23:25:19 2013-08-16 23:25:19 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-097.txt File = data/polarium-097.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,8), (5,8), (5,9), (6,9), (7,9), (8,9), (9,9), (9,8), (9,7), (9,6), (9,5), (8,5), (8,4), (8,3), (8,2), (9,2), (9,1), (9,0), (8,0), (7,0), (6,0), (5,0), (5,1), (4,1), (4,0), (3,0), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (1,4), (1,5), (1,6), (0,6), (0,7), (0,8), (0,9), (1,9), (2,9), (3,9), (3,8), (2,8), (2,7), (2,6), (2,5), (2,4), (2,3), (1,3), (1,2), (2,2), (3,2), (3,3), (4,3), (5,3), (6,3), (6,2), (7,2), (7,3), (7,4), (7,5), (7,6), (8,6), (8,7), (7,7), (6,7), (6,6), (5,6)) Size = 70 +--+--+--+--+ + +--+--+--+ | | | | + . *--* *--*--* . . + | | | | + * . .--.--.--.--.--. + | | | | + * .--. * * * * .--+ | | +--* . * . . . . * + | | | +--* . * . . * . *--+ | | | | + * .--. * * .--. * + | | | | + * .--.--.--.--. . * + | | | | + . *--*--*--* *--* . + | | | | +--+--+ + + +--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.40 MEM 2348132 MAXMEM 2365112 STALE 0 2013-08-16 23:25:21 2013-08-16 23:25:21 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-098.txt File = data/polarium-098.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((4,8), (4,9), (5,9), (6,9), (7,9), (8,9), (9,9), (9,8), (8,8), (8,7), (8,6), (7,6), (7,5), (6,5), (6,4), (6,3), (5,3), (5,2), (6,2), (7,2), (7,1), (8,1), (8,0), (7,0), (6,0), (5,0), (4,0), (4,1), (3,1), (2,1), (2,0), (1,0), (0,0), (0,1), (0,2), (0,3), (0,4), (0,5), (1,5), (1,4), (1,3), (1,2), (2,2), (3,2), (3,3), (3,4), (3,5), (2,5), (2,6), (3,6), (4,6), (4,7), (5,7), (5,6), (5,5)) Size = 55 +--+--+--+--+--+ + + + + | | + . *--*--*--* . . . + | | +--* * . . *--* . . + | | | | + * *--*--*--* * . . + | | +--* . . . . *--* *--+ | | | + * .--. * .--.--. * + | | | | + * . .--.--. * * * + | | | | + *--* . . *--* . . + | | | | +--. * * * * .--.--. + | | + + + + + + + + +--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.10 MEM 2349576 MAXMEM 2366028 STALE 0 2013-08-16 23:25:24 2013-08-16 23:25:24 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-099.txt File = data/polarium-099.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((8,1), (8,0), (7,0), (7,1), (7,2), (7,3), (8,3), (8,2), (9,2), (9,3), (9,4), (9,5), (9,6), (9,7), (9,8), (9,9), (8,9), (7,9), (6,9), (6,8), (6,7), (7,7), (7,8), (8,8), (8,7), (8,6), (7,6), (6,6), (5,6), (4,6), (4,5), (3,5), (3,4), (4,4), (4,3), (5,3), (6,3), (6,2), (6,1), (6,0), (5,0), (4,0), (3,0), (2,0), (2,1), (3,1), (3,2), (2,2), (2,3), (1,3), (0,3), (0,4), (0,5), (0,6), (0,7), (0,8), (0,9), (1,9), (2,9), (2,8), (3,8), (3,7), (2,7), (2,6), (1,6)) Size = 65 + + + +--+--+--+--+--+--+ | | + . . * . . * . . + | | | +--. .--. * * .--. .--+ | | | | | + *--* . *--* . *--* + | | | + . . *--* *--* . . + | | | + * * . * * . * * + | | | +--.--.--. * * . .--.--+ | | | +--.--.--. * * . .--. + | | | | | +--. .--. * * .--.--. + | | + + +--+--+--+--+--+--+--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.54 MEM 2348036 MAXMEM 2364844 STALE 0 2013-08-16 23:25:26 2013-08-16 23:25:26 Command = scala -cp copris-polarium-v1-1.jar polarium.Solver -v -s1 glucose21_simp data/polarium-100.txt File = data/polarium-100.txt Solver = glucose21_simp Options = Rows = 10 Cols = 10 BEGIN_solution = 1 Solution = List((3,6), (4,6), (5,6), (5,5), (6,5), (6,6), (6,7), (7,7), (7,6), (7,5), (8,5), (9,5), (9,6), (9,7), (8,7), (8,8), (9,8), (9,9), (8,9), (7,9), (6,9), (5,9), (4,9), (3,9), (3,8), (4,8), (4,7), (3,7), (2,7), (2,6), (2,5), (1,5), (0,5), (0,4), (0,3), (0,2), (0,1), (0,0), (1,0), (1,1), (2,1), (2,0), (3,0), (4,0), (5,0), (6,0), (7,0), (8,0), (9,0), (9,1), (9,2), (9,3), (9,4), (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), (2,2), (2,3)) Size = 69 +--+--+--+--+--+ + + + + | | +--* . . . * . . . + | | +--* *--* . *--*--* . + | | | + * .--.--. * . . .--+ | | | | | | + * * * . * . .--. + | | | | + .--.--.--. .--. * * + | | | | + *--*--* . *--*--* . + | | | | + . . * . *--*--* . + | | | | + * * .--. . * .--. + | | | | | | +--+--+--+--+ +--+--+ +--+ END_solution = 1 NumOfSolutions >= 1 FINISHED CPU 3.38 MEM 2349124 MAXMEM 2365292 STALE 0 2013-08-16 23:25:29