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