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