(1,16) (2,28) (3,27) (4,26) (5,25) (6,21) (7,22) (9,30) (10,24) (11,18) (12,17) (13,19) (15,29) 
nodes: 2702  conflicts: 49  modelTime: 659  solveTime: 4347  totalTime: 5012  modelSize: 41293  readTime: 6 size: 13