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