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