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