(2,18) (3,16) (4,26) (5,30) (6,22) (7,24) (9,25) (10,17) (12,20) (13,27) (14,28) (15,19) 
nodes: 934  conflicts: 57  modelTime: 660  solveTime: 1336  totalTime: 2003  modelSize: 41292  readTime: 7 size: 12