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