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