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