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