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