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