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