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