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