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