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