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