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