(1,15) (2,6) (3,27) (4,28) (5,17) (7,16) (8,24) (9,14) (10,12) (11,30) (13,22) (18,25) (19,26) (20,29) (21,23) 
nodes: 35178  conflicts: 45  modelTime: 1748  solveTime: 183589  totalTime: 185373  modelSize: 72265  readTime: 36 size: 15