(1,29) (2,25) (3,30) (4,27) (6,28) (7,17) (9,16) (10,23) (11,19) (13,26) (14,24) 
nodes: 1461  conflicts: 63  modelTime: 666  solveTime: 1188  totalTime: 1862  modelSize: 41292  readTime: 8 size: 11