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