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