(1,2) (3,20) (4,23) (5,18) (6,19) (7,24) (8,30) (9,26) (10,21) (11,16) (12,17) (13,25) (14,22) (15,28) (27,29) 
nodes: 17039  conflicts: 52  modelTime: 1070  solveTime: 81346  totalTime: 82427  modelSize: 72263  readTime: 11 size: 15