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