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