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