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