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