(1,18) (2,23) (3,24) (4,21) (6,27) (7,20) (8,25) (9,30) (10,17) (11,16) (12,22) (13,19) (14,29) (15,28) 
nodes: 4794  conflicts: 35  modelTime: 658  solveTime: 8639  totalTime: 9304  modelSize: 41298  readTime: 7 size: 14