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