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