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