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