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