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