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