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