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