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