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