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