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