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