(1,24) (2,5) (3,16) (4,7) (6,23) (8,17) (10,15) (11,20) (12,27) (13,19) (14,26) (18,29) (21,25) (28,30) 
nodes: 51380  conflicts: 25  modelTime: 1745  solveTime: 301530  totalTime: 303294  modelSize: 72269  readTime: 19 size: 14