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