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