(1,20) (2,13) (4,19) (5,16) (6,18) (7,17) (9,14) (10,28) (12,22) (15,24) (21,30) (23,27) 
nodes: 3108  conflicts: 114  modelTime: 1133  solveTime: 13873  totalTime: 15026  modelSize: 72262  readTime: 20 size: 12