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