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