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