(1,27) (2,24) (3,21) (5,16) (6,20) (7,30) (8,25) (9,26) (11,22) (12,29) (13,19) (14,18) (15,17) 
nodes: 2405  conflicts: 46  modelTime: 657  solveTime: 3356  totalTime: 4020  modelSize: 41298  readTime: 7 size: 13