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