(3,9) (4,16) (5,18) (7,10) (8,15) (11,23) (12,25) (13,22) (14,17) (19,29) (20,24) (21,28) (27,30) 
nodes: 2805  conflicts: 84  modelTime: 940  solveTime: 9682  totalTime: 10635  modelSize: 72262  readTime: 12 size: 13