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