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