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