(1,27) (2,22) (3,25) (4,21) (5,16) (7,18) (8,17) (9,28) (10,19) (11,26) (12,30) (14,24) (15,23) 
nodes: 2282  conflicts: 35  modelTime: 666  solveTime: 3110  totalTime: 3783  modelSize: 41298  readTime: 7 size: 13