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