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