(2,19) (3,27) (4,24) (5,17) (6,26) (7,20) (9,30) (10,21) (11,18) (12,29) (13,22) (14,16) (15,23) 
nodes: 1742  conflicts: 35  modelTime: 1201  solveTime: 3984  totalTime: 5193  modelSize: 41292  readTime: 8 size: 13