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