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