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