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