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