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