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