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