(1,20) (2,22) (3,16) (4,17) (5,6) (7,14) (8,23) (9,13) (10,11) (12,15) (18,27) (19,25) (21,28) (24,30) (26,29) 
nodes: 347215  conflicts: 34  modelTime: 964  solveTime: 1608738  totalTime: 1609713  modelSize: 72285  readTime: 11 size: 15