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