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