(1,17) (2,16) (3,25) (4,24) (5,28) (6,22) (7,18) (8,20) (9,29) (10,26) (11,30) (13,27) (14,19) (15,21) 
nodes: 3118  conflicts: 17  modelTime: 1191  solveTime: 10435  totalTime: 11650  modelSize: 41293  readTime: 24 size: 14