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