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