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