(1,19) (2,26) (3,29) (4,27) (5,28) (6,24) (7,20) (8,23) (9,25) (11,18) (12,17) (13,30) (14,22) (15,21) 
nodes: 3846  conflicts: 39  modelTime: 659  solveTime: 6888  totalTime: 7554  modelSize: 41293  readTime: 7 size: 14