(1,12) (2,19) (3,29) (4,11) (5,16) (6,17) (7,22) (8,21) (9,10) (13,27) (18,24) (20,28) (23,25) (26,30) 
nodes: 6556  conflicts: 65  modelTime: 1166  solveTime: 25658  totalTime: 26843  modelSize: 72262  readTime: 19 size: 14