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