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