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