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