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