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