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