(1,6) (2,3) (4,23) (5,13) (7,29) (8,17) (9,19) (11,16) (12,27) (14,28) (15,30) (18,20) (21,24) (22,26) 
nodes: 6147  conflicts: 36  modelTime: 1742  solveTime: 17110  totalTime: 18869  modelSize: 72265  readTime: 17 size: 14