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