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