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