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