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