(1,5) (2,18) (3,4) (6,10) (7,12) (8,17) (9,20) (11,27) (13,19) (14,23) (15,26) (21,22) (25,30) (28,29) 
nodes: 3252  conflicts: 58  modelTime: 1713  solveTime: 15956  totalTime: 17703  modelSize: 72263  readTime: 34 size: 14