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