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