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