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