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