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