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