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