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