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