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