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