(1,5) (2,26) (3,15) (4,11) (6,28) (7,17) (8,27) (9,12) (10,23) (13,30) (14,18) (16,20) (19,24) (21,22) (25,29) 
nodes: 46535  conflicts: 49  modelTime: 1712  solveTime: 212497  totalTime: 214228  modelSize: 72276  readTime: 19 size: 15