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