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