(1,18) (2,13) (3,16) (5,23) (6,9) (7,27) (8,30) (10,11) (12,29) (14,22) (15,24) (17,28) (20,25) (21,26) 
nodes: 16641  conflicts: 79  modelTime: 947  solveTime: 69743  totalTime: 70701  modelSize: 72265  readTime: 11 size: 14