(1,5) (2,19) (3,18) (4,25) (6,17) (7,9) (8,22) (10,12) (11,24) (13,23) (14,28) (15,21) (16,30) (20,26) (27,29) 
nodes: 20707  conflicts: 40  modelTime: 1719  solveTime: 76953  totalTime: 78692  modelSize: 72267  readTime: 20 size: 15