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