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