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