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