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