(1,21) (2,16) (3,22) (4,17) (5,20) (6,29) (7,25) (8,18) (9,30) (10,27) (11,19) (14,24) (15,23) 
nodes: 1378  conflicts: 40  modelTime: 660  solveTime: 1472  totalTime: 2138  modelSize: 41293  readTime: 6 size: 13