(1,22) (2,25) (3,30) (4,16) (5,24) (7,29) (8,28) (9,27) (10,17) (11,23) (12,18) (13,20) (14,26) (15,21) 
nodes: 4639  conflicts: 29  modelTime: 659  solveTime: 8531  totalTime: 9195  modelSize: 41293  readTime: 5 size: 14