(1,13) (2,14) (3,27) (4,7) (5,6) (9,16) (10,11) (15,21) (17,24) (19,26) (20,25) (22,23) (28,30) 
nodes: 23841  conflicts: 87  modelTime: 1693  solveTime: 98453  totalTime: 100182  modelSize: 72264  readTime: 36 size: 13