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