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