(1,15) (2,29) (3,13) (4,20) (5,25) (6,18) (7,24) (8,21) (9,19) (10,26) (11,22) (12,17) (14,28) (16,30) (23,27) 
nodes: 280460  conflicts: 12  modelTime: 1700  solveTime: 1296941  totalTime: 1298675  modelSize: 72264  readTime: 34 size: 15