(1,19) (2,3) (4,16) (5,10) (6,24) (7,22) (8,18) (9,17) (11,12) (13,27) (14,23) (15,21) (20,29) (25,26) (28,30) 
nodes: 140980  conflicts: 43  modelTime: 1582  solveTime: 491606  totalTime: 493207  modelSize: 72262  readTime: 19 size: 15