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