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