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