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