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