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