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