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