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