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