(1,18) (2,26) (3,17) (4,24) (5,16) (6,20) (7,21) (8,19) (9,28) (10,30) (11,29) (12,25) (13,23) (15,27) 
nodes: 9742  conflicts: 24  modelTime: 659  solveTime: 17614  totalTime: 18279  modelSize: 41292  readTime: 6 size: 14