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