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