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