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