(2,16) (3,22) (4,20) (5,21) (7,25) (8,28) (9,30) (10,24) (11,23) (12,29) (13,18) (14,17) (15,19) 
nodes: 346  conflicts: 42  modelTime: 660  solveTime: 778  totalTime: 1445  modelSize: 41292  readTime: 7 size: 13