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