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