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