(1,22) (2,9) (3,11) (4,8) (5,13) (6,19) (7,25) (10,27) (12,24) (14,28) (15,17) (16,20) (18,23) (21,30) (26,29) 
nodes: 175959  conflicts: 38  modelTime: 1711  solveTime: 978422  totalTime: 980169  modelSize: 72262  readTime: 36 size: 15