(1,27) (2,22) (3,24) (5,16) (6,18) (7,20) (8,30) (9,25) (10,29) (11,26) (12,19) (13,23) (14,17) (15,28) 
nodes: 7892  conflicts: 37  modelTime: 1165  solveTime: 21191  totalTime: 22363  modelSize: 41293  readTime: 7 size: 14