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