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