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