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