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