(1,5) (2,6) (3,28) (4,26) (7,20) (8,21) (9,11) (10,18) (13,22) (14,25) (16,23) (17,24) (19,29) (27,30) 
nodes: 8284  conflicts: 52  modelTime: 950  solveTime: 24143  totalTime: 25104  modelSize: 72264  readTime: 11 size: 14