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