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