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