(1,26) (2,11) (3,18) (5,7) (6,13) (8,16) (9,22) (10,23) (12,17) (14,15) (19,21) (20,29) (24,25) (28,30) 
nodes: 19837  conflicts: 51  modelTime: 1563  solveTime: 97535  totalTime: 99135  modelSize: 72264  readTime: 37 size: 14