(2,16) (3,30) (4,26) (5,28) (6,24) (7,21) (8,17) (9,18) (10,29) (11,22) (13,27) (14,23) (15,20) 
nodes: 3835  conflicts: 29  modelTime: 692  solveTime: 9339  totalTime: 10036  modelSize: 41292  readTime: 5 size: 13