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