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