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