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