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