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