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