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