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