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