(1,22) (2,19) (3,6) (4,23) (5,9) (7,25) (10,27) (12,14) (13,28) (15,18) (16,24) (17,21) (20,26) (29,30) 
nodes: 31045  conflicts: 29  modelTime: 1280  solveTime: 151134  totalTime: 152433  modelSize: 72263  readTime: 19 size: 14