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