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