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