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