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