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