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