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