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