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