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