(1,18) (2,5) (3,8) (4,19) (6,20) (7,28) (9,13) (10,14) (11,25) (12,30) (15,16) (17,24) (21,23) (22,26) (27,29) 
nodes: 141037  conflicts: 41  modelTime: 1726  solveTime: 726458  totalTime: 728203  modelSize: 72262  readTime: 19 size: 15