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