(1,8) (2,25) (3,7) (4,5) (6,29) (9,15) (10,12) (13,19) (14,21) (16,26) (17,30) (18,24) (20,28) (22,23) 
nodes: 3527  conflicts: 48  modelTime: 1728  solveTime: 15771  totalTime: 17519  modelSize: 72263  readTime: 20 size: 14