(1,22) (2,26) (3,25) (4,16) (5,27) (6,18) (7,21) (8,29) (9,19) (10,30) (11,23) (12,17) (14,24) (15,20) 
nodes: 14023  conflicts: 18  modelTime: 1191  solveTime: 43075  totalTime: 44275  modelSize: 41292  readTime: 9 size: 14