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