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