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