(1,12) (2,15) (3,17) (4,29) (5,27) (6,19) (7,13) (8,14) (9,23) (10,25) (11,30) (16,22) (18,20) (21,24) (26,28) 
nodes: 5325  conflicts: 16  modelTime: 938  solveTime: 25714  totalTime: 26663  modelSize: 72270  readTime: 11 size: 15