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