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