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