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