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