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