(1,25) (2,27) (3,26) (5,19) (6,17) (7,24) (8,22) (9,18) (10,20) (11,23) (13,30) (14,21) 
nodes: 1511  conflicts: 30  modelTime: 665  solveTime: 1745  totalTime: 2417  modelSize: 41298  readTime: 7 size: 12