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