(1,6) (2,7) (3,14) (4,5) (8,24) (9,15) (10,18) (11,17) (13,30) (19,23) (20,26) (21,27) (22,25) (28,29) 
nodes: 6807  conflicts: 63  modelTime: 1603  solveTime: 15069  totalTime: 16747  modelSize: 72263  readTime: 75 size: 14