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