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