(2,19) (3,17) (4,29) (5,26) (6,27) (7,24) (9,30) (12,22) (13,16) (14,23) (15,28) 
nodes: 1463  conflicts: 67  modelTime: 657  solveTime: 1409  totalTime: 2086  modelSize: 41293  readTime: 20 size: 11