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