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