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