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