(1,17) (2,5) (3,25) (4,24) (6,11) (7,16) (8,13) (9,12) (10,30) (14,27) (15,18) (19,26) (20,23) (21,29) 
nodes: 2050  conflicts: 83  modelTime: 1215  solveTime: 9542  totalTime: 10778  modelSize: 72262  readTime: 21 size: 14