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