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