(1,18) (2,23) (3,30) (4,17) (5,27) (6,21) (7,24) (8,20) (9,26) (10,16) (11,29) (13,22) (14,19) 
nodes: 866  conflicts: 35  modelTime: 659  solveTime: 1276  totalTime: 1941  modelSize: 41293  readTime: 6 size: 13