(1,3) (2,13) (4,30) (5,24) (6,14) (7,26) (8,9) (10,22) (11,21) (12,19) (16,18) (17,27) (23,25) 
nodes: 3756  conflicts: 67  modelTime: 1717  solveTime: 15557  totalTime: 17295  modelSize: 72262  readTime: 21 size: 13