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