(1,4) (2,10) (3,9) (5,6) (7,19) (8,14) (11,21) (15,23) (16,25) (17,26) (18,30) (22,24) (27,28) 
nodes: 31885  conflicts: 70  modelTime: 1624  solveTime: 87896  totalTime: 89540  modelSize: 72265  readTime: 20 size: 13