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