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