(1,20) (2,26) (3,29) (4,25) (5,27) (6,19) (7,23) (8,18) (9,22) (10,30) (11,17) (12,16) (14,24) (15,28) 
nodes: 6727  conflicts: 33  modelTime: 660  solveTime: 10882  totalTime: 11548  modelSize: 41298  readTime: 6 size: 14