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