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