(1,27) (2,28) (3,7) (4,22) (5,29) (6,17) (8,18) (9,15) (10,19) (11,25) (12,20) (13,26) (14,30) (16,21) (23,24) 
nodes: 2917657  conflicts: 32  modelTime: 1743  solveTime: 13640804  totalTime: 13642566  modelSize: 72285  readTime: 19 size: 15