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