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