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