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