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