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