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