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