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