(2,16) (3,25) (4,28) (5,23) (6,21) (8,24) (9,20) (10,30) (11,18) (12,22) (13,29) (14,26) (15,27) 
nodes: 2448  conflicts: 49  modelTime: 660  solveTime: 3034  totalTime: 3700  modelSize: 41298  readTime: 6 size: 13