(1,20) (2,24) (3,21) (4,30) (5,25) (6,22) (7,29) (9,18) (10,27) (11,19) (12,23) (14,28) (15,16) 
nodes: 1664  conflicts: 53  modelTime: 1195  solveTime: 3022  totalTime: 4227  modelSize: 41292  readTime: 10 size: 13