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