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