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