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