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