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