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