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