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