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