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