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