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