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