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