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