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