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