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