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