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