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