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