(1,4) (2,30) (3,6) (5,16) (7,19) (8,23) (9,22) (10,29) (11,13) (12,17) (14,18) (15,28) (20,26) (21,24) (25,27) 
nodes: 31782  conflicts: 32  modelTime: 1718  solveTime: 145495  totalTime: 147232  modelSize: 72275  readTime: 19 size: 15