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