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