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